Skip to content

Cancel old runs when a new commit is pushed #198

Cancel old runs when a new commit is pushed

Cancel old runs when a new commit is pushed #198

Triggered via pull request April 28, 2026 20:17
Status Cancelled
Total duration 40s
Artifacts

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 1 warning
Analyze rust
Canceling since a higher priority waiting request for CodeQL-refs/pull/37/merge exists
Analyze actions
Canceling since a higher priority waiting request for CodeQL-refs/pull/37/merge exists
Analyze actions
The operation was canceled.
Analyze cpp
Canceling since a higher priority waiting request for CodeQL-refs/pull/37/merge exists
Analyze cpp
The operation was canceled.
CodeQL
Canceling since a higher priority waiting request for CodeQL-refs/pull/37/merge exists
Analyze actions
Starting April 2026, the CodeQL Action will skip computing file coverage information on pull requests to improve analysis performance. File coverage information will still be computed on non-PR analyses. To opt out of this change, set the `CODEQL_ACTION_FILE_COVERAGE_ON_PRS` environment variable to `true`. Alternatively, create a custom repository property with the name `github-codeql-file-coverage-on-prs` and the type "True/false", then set this property to `true` in the repository's settings.