proofs(lean4): promote ET-2 to main — L1 conversion is decidable #60
hyperpolymathdogfood-gate.yml
on: pull_request
Validate A2ML manifests
4s
Validate K9 contracts
3s
Empty-linter (invisible characters)
7s
Groove manifest check
4s
Validate eclexiaiser manifest
5s
Dogfooding compliance summary
5s
Annotations
2 errors
|
Validate K9 contracts
Unable to resolve action hyperpolymath/k9-validate-action, repository not found
|
|
Validate A2ML manifests
Unable to resolve action hyperpolymath/a2ml-validate-action, repository not found
|