Skip to content
OSSF Scorecard

docs(verisimdb): clarify ProverKind is proven-domain, not an echidna … #240

Sign in to view logs

docs(verisimdb): clarify ProverKind is proven-domain, not an echidna …

docs(verisimdb): clarify ProverKind is proven-domain, not an echidna … #240

Triggered via push April 17, 2026 23:20
@hyperpolymathhyperpolymath
pushed 2a43dff
main
Status Success
Total duration 34s
Artifacts –

scorecard.yml

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