Skip to content

fix(docs): repair the contributing guide content defects (#97) #274

fix(docs): repair the contributing guide content defects (#97)

fix(docs): repair the contributing guide content defects (#97) #274

Triggered via push September 19, 2026 17:49
Status Success
Total duration 14m 40s
Artifacts –

dogfood-gate.yml

on: push
Validate A2ML manifests
6s
Validate A2ML manifests
Validate K9 contracts
4s
Validate K9 contracts
Empty-linter (invisible characters)
1m 13s
Empty-linter (invisible characters)
Groove manifest check
7s
Groove manifest check
Dogfooding compliance summary
5s
Dogfooding compliance summary
Fit to window
Zoom out
Zoom in

Annotations

5 warnings and 5 notices
Validate A2ML manifests: ./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
Validate A2ML manifests: ./.machine_readable/anchors/ANCHOR.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
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 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 A2ML 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"
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"
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"