Skip to content

chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the actions group #311

chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the actions group

chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the actions group #311

Triggered via pull request October 2, 2026 14:42
Status Success
Total duration 17s
Artifacts –

dogfood-gate.yml

on: pull_request
Validate DEED manifests
5s
Validate DEED manifests
Validate K9 contracts
4s
Validate K9 contracts
Empty-linter (invisible characters)
4s
Empty-linter (invisible characters)
Groove manifest check
4s
Groove manifest check
Dogfooding compliance summary
4s
Dogfooding compliance summary
Fit to window
Zoom out
Zoom in

Annotations

3 warnings and 5 notices
Empty-linter (invisible characters): verisim-modular-experiment/PROOF-NEEDS.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters): typeql-experimental/WHITEPAPER.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters): .github/CONTRIBUTING.md#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Groove manifest check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Validate K9 contracts
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Validate DEED manifests
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Dogfooding compliance summary
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"