Skip to content
CodeQL

Add head titles for each page #26432

Sign in to view logs

Add head titles for each page

Add head titles for each page #26432

Triggered via pull request April 24, 2026 20:34
@danielh-officialdanielh-official
synchronize #7603
danielh-official:add-head-titles-for-each-page
Status Cancelled
Total duration 1m 24s
Artifacts –

codeql.yml

on: pull_request
Analyze
1m 8s
Analyze
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Analyze
Canceling since a higher priority waiting request for CodeQL-7603 exists
Analyze
The operation was canceled.
CodeQL
Canceling since a higher priority waiting request for CodeQL-7603 exists
Analyze
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.