Skip to content
NPM/Bun Blocker

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

Sign in to view logs

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

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

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

npm-bun-blocker.yml

on: push
check
4s
check
Fit to window
Zoom out
Zoom in