Skip to content
Correspondence Validation

fix(ci): estate-wide foundational remediation #416

Sign in to view logs

fix(ci): estate-wide foundational remediation

fix(ci): estate-wide foundational remediation #416

Triggered via pull request July 23, 2026 21:19
@hyperpolymathhyperpolymath
opened #171
fix-ci-estate
Status Success
Total duration 35m 20s
Artifacts –

validation.yml

on: pull_request
validate-correspondence
20s
validate-correspondence
verify-proofs (Coq build oracle)
35s
verify-proofs (Coq build oracle)
property-testing
49s
property-testing
Fit to window
Zoom out
Zoom in

Annotations

1 warning
validate-correspondence
No files were found with the provided path: validation-report.md. No artifacts will be uploaded.