fix(lean4): remove dead contradiction — greens the Lean 4 CI
#317
hyperpolymathdogfood-gate.yml
on: pull_request
Validate A2ML manifests
5s
Validate K9 contracts
5s
Empty-linter (invisible characters)
8s
Groove manifest check
7s
Validate eclexiaiser manifest
4s
Dogfooding compliance summary
3s
Annotations
2 warnings
|
Validate A2ML manifests:
./.machine_readable/6a2/anchor/ANCHOR.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate A2ML manifests:
./.machine_readable/6a2/0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|