Skip to content
OSSF Scorecard

proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC #233

Sign in to view logs

proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC

proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC #233

Triggered via push April 17, 2026 19:50
@hyperpolymathhyperpolymath
pushed 9d3dfd8
main
Status Success
Total duration 24s
Artifacts –

scorecard.yml

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