Long Verification

Bump github/codeql-action/analyze from 4.36.2 to 4.37.1 #7732

Sign in to view logs

Triggered via pull request July 21, 2026 16:44

dependabot[bot]

labeled #8087

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

Status Skipped

Total duration 1s

Artifacts –

long-verification.yml

on: pull_request

Model Checking With Atomic Reconfig - Consensus

Model Checking With Reconfig - Consensus

Simulation - Consensus