proofs(lean4): promote ET-2 to main — L1 conversion is decidable #58
hyperpolymathdogfood-gate.yml
on: pull_request
Validate A2ML manifests
2s
Validate K9 contracts
3s
Empty-linter (invisible characters)
4s
Groove manifest check
4s
Validate eclexiaiser manifest
6s
Dogfooding compliance summary
4s
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
|