Skip to content
Correspondence Validation

docs: add Signed commits section to CONTRIBUTING (#212) #492

Sign in to view logs

docs: add Signed commits section to CONTRIBUTING (#212)

docs: add Signed commits section to CONTRIBUTING (#212) #492

Triggered via push October 1, 2026 19:36
@hyperpolymathhyperpolymath
pushed 94410af
main
Status Success
Total duration 1m 44s
Artifacts –

validation.yml

on: push
validate-correspondence
25s
validate-correspondence
verify-proofs (Coq build oracle)
36s
verify-proofs (Coq build oracle)
verify-z3 (exact-result oracle)
55s
verify-z3 (exact-result oracle)
property-testing
51s
property-testing
Fit to window
Zoom out
Zoom in

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-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"
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"