fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam… #480
hyperpolymathvalidation.yml
on: push
validate-correspondence
22s
verify-proofs (Coq build oracle)
31s
verify-z3 (exact-result oracle)
22s
property-testing
44s
Annotations
1 warning and 4 notices
|
validate-correspondence
No files were found with the provided path: validation-report.md. No artifacts will be uploaded.
|
|
validate-correspondence
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
verify-z3 (exact-result oracle)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
verify-proofs (Coq build oracle)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
property-testing
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|