Skip to content

chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift #376

chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift

chore: audit-remediation batch — panic/unsafe, CI test-gating + coverage, doc drift #376

Triggered via pull request July 1, 2026 13:50
Status Success
Total duration 1m 0s
Artifacts –

validation.yml

on: pull_request
validate-correspondence
23s
validate-correspondence
verify-proofs (Coq build oracle)
25s
verify-proofs (Coq build oracle)
property-testing
53s
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.