Skip to content
OSSF Scorecard

feat(batch_driver): cvc5, vampire, dafny, why3 runners + smart idris2… #200

Sign in to view logs

feat(batch_driver): cvc5, vampire, dafny, why3 runners + smart idris2…

feat(batch_driver): cvc5, vampire, dafny, why3 runners + smart idris2… #200

Triggered via push April 5, 2026 12:17
@hyperpolymathhyperpolymath
pushed 5ceed6a
main
Status Success
Total duration 38s
Artifacts –

scorecard.yml

on: push
analysis
33s
analysis
Fit to window
Zoom out
Zoom in