Skip to content
OSSF Scorecard

proof(verisimdb): close V10 (transaction serializability) in TLA+ #235

Sign in to view logs

proof(verisimdb): close V10 (transaction serializability) in TLA+

proof(verisimdb): close V10 (transaction serializability) in TLA+ #235

Triggered via push April 17, 2026 20:02
@hyperpolymathhyperpolymath
pushed 94aa56f
main
Status Success
Total duration 30s
Artifacts –

scorecard.yml

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