Skip to content
Dogfood Gate

docs(readme): note echo types + decidability in the mechanised-proofs… #93

Sign in to view logs

docs(readme): note echo types + decidability in the mechanised-proofs…

docs(readme): note echo types + decidability in the mechanised-proofs… #93

Triggered via push June 6, 2026 17:36
@hyperpolymathhyperpolymath
pushed 69257cb
main
Status Success
Total duration 22s
Artifacts –

dogfood-gate.yml

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

Annotations

1 warning
Validate A2ML manifests: ./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines