Repository navigation
docs: THEORY-FEED direction doc (D127, D204–D206) #493
hyperpolymathvalidation.yml
on: pull_request
validate-correspondence
23s
verify-proofs (Coq build oracle)
2m 29s
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.
|
|
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"
|
|
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"
|
|
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"
|
|
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"
|