Repository navigation
ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths #777
Triggered via pull request
November 9, 2026 15:42
hyperpolymath
Status
Success
Total duration
2h 7m 21s
Artifacts
–
dogfood-gate.yml
on: pull_request
Validate DEED manifests
7s
Validate K9 contracts
8s
Empty-linter (invisible characters)
6s
Groove manifest check
6s
Dogfooding compliance summary
6s
Annotations
4 warnings and 5 notices
|
Empty-linter (invisible characters):
DESIGN.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
PROOF-PROGRAMME.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
docs/tech-debt-2026-05-26.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
SECURITY.adoc#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"
|