Skip to content
OpenSSF Scorecard Enforcer

fix: correct 'formal soundness' claim — proofs are pending, not done #4

Sign in to view logs

fix: correct 'formal soundness' claim — proofs are pending, not done

fix: correct 'formal soundness' claim — proofs are pending, not done #4

Triggered via push March 30, 2026 08:59
@hyperpolymathhyperpolymath
pushed 3cad52b
main
Status Failure
Total duration 56s
Artifacts –

scorecard-enforcer.yml

on: push
scorecard
51s
scorecard
check-critical
5s
check-critical
Fit to window
Zoom out
Zoom in