Skip to content

fix(gates): gate on the DEED grammar, per the template and standards#837 #283

fix(gates): gate on the DEED grammar, per the template and standards#837

fix(gates): gate on the DEED grammar, per the template and standards#837 #283

Triggered via pull request September 21, 2026 11:54
Status Success
Total duration 8h 22m 53s
Artifacts

dogfood-gate.yml

on: pull_request
Validate DEED manifests
7s
Validate DEED manifests
Validate K9 contracts
7s
Validate K9 contracts
Empty-linter (invisible characters)
7s
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

5 warnings and 5 notices
Empty-linter (invisible characters): .github/CONTRIBUTING.md#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
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.)
Validate DEED manifests: ./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
Validate DEED manifests: ./.machine_readable/anchors/ANCHOR.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
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"
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"
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"
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"