fix(tg-0): Tangle.lean compiles cleanly + wire CI build oracle #79
hyperpolymathdogfood-gate.yml
on: pull_request
Validate A2ML manifests
6s
Validate K9 contracts
5s
Empty-linter (invisible characters)
4s
Groove manifest check
4s
Dogfooding compliance summary
6s
Annotations
1 warning
|
Validate A2ML manifests:
./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|