Echo-types as a type-system feature + decidability + let (proof work) #82
hyperpolymathdogfood-gate.yml
on: pull_request
Validate A2ML manifests
5s
Validate K9 contracts
6s
Empty-linter (invisible characters)
5s
Groove manifest check
4s
Dogfooding compliance summary
3s
Annotations
1 warning
|
Validate A2ML manifests:
./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|