Long Verification

Bump github/codeql-action/init from 4.36.2 to 4.37.1 #7738

Sign in to view logs

Triggered via pull request July 21, 2026 16:45

dependabot[bot]

labeled #8088

dependabot/github_actions/github/codeql-action/init-4.37.1

Status Skipped

Total duration 2s

Artifacts –

long-verification.yml

on: pull_request

Model Checking With Atomic Reconfig - Consensus

Model Checking With Reconfig - Consensus

Simulation - Consensus