Skip to content
Security Audit

feat(assail/rocq): classify scaffold parameters as non-postulates #180

Sign in to view logs

feat(assail/rocq): classify scaffold parameters as non-postulates

feat(assail/rocq): classify scaffold parameters as non-postulates #180

Triggered via push April 18, 2026 11:50
@hyperpolymathhyperpolymath
pushed 6d6822a
main
Status Failure
Total duration 2m 35s
Artifacts –

cargo-audit.yml

on: push
Cargo Audit
2m 23s
Cargo Audit
Fit to window
Zoom out
Zoom in

Annotations

1 error
Cargo Audit
Process completed with exit code 1.