Skip to content
OSSF Scorecard

proof(verisimdb): close V8 (drift metric correctness) in Idris2 #231

Sign in to view logs

proof(verisimdb): close V8 (drift metric correctness) in Idris2

proof(verisimdb): close V8 (drift metric correctness) in Idris2 #231

Triggered via push April 17, 2026 19:09
@hyperpolymathhyperpolymath
pushed 182cc7c
main
Status Success
Total duration 23s
Artifacts –

scorecard.yml

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