Repository navigation
fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping #783
hyperpolymathdogfood-gate.yml
on: pull_request
Validate DEED manifests
6s
Validate K9 contracts
7s
Empty-linter (invisible characters)
4s
Groove manifest check
4s
Dogfooding compliance summary
4s
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.)
|
|
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"
|
|
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"
|