Skip to content
Dogfood Gate

ci(agda): pin the Agda proofs job to ubuntu-24.04 #1298

Sign in to view logs

ci(agda): pin the Agda proofs job to ubuntu-24.04

ci(agda): pin the Agda proofs job to ubuntu-24.04 #1298

Triggered via pull request October 20, 2026 13:35
@hyperpolymathhyperpolymath
synchronize #445
claude/zen-brahmagupta-opqqle-agda-pin
Status Success
Total duration 48m 13s
Artifacts –

dogfood-gate.yml

on: pull_request
Validate DEED manifests
5m 19s
Validate DEED manifests
Validate K9 contracts
17s
Validate K9 contracts
Empty-linter (invisible characters)
19s
Empty-linter (invisible characters)
Groove manifest check
13s
Groove manifest check
Validate eclexiaiser manifest
18s
Validate eclexiaiser manifest
Banned-runtime check
20s
Banned-runtime check
Dogfooding compliance summary
16s
Dogfooding compliance summary
Fit to window
Zoom out
Zoom in

Annotations

10 warnings and 7 notices
Empty-linter (invisible characters): docs/handover/SUGGEST-CLI-PROMPT.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters): docs/handover/L1-CAPNPROTO-PROMPT.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters): docs/handover/TODO.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters): docs/handover/B7-AUDIT-CORRECTION.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters): docs/handover/STATE.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters): docs/HP-BACKEND-ONBOARDING.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters): crates/echidna-mcp/README.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters): crates/echidna-wire/schemas/VERSIONING.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters): schemas/VERSIONING.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Empty-linter (invisible characters): CODE_OF_CONDUCT.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
Banned-runtime 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"
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 eclexiaiser manifest
"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"
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"
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"