Repository navigation
docs: THEORY-FEED direction doc (D127, D204–D206) #488
Triggered via pull request
September 30, 2026 14:31
hyperpolymath
Status
Success
Total duration
3m 36s
Artifacts
–
validation.yml
on: pull_request
validate-correspondence
24s
verify-proofs (Coq build oracle)
3m 31s
verify-z3 (exact-result oracle)
17s
property-testing
48s
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"
|