Skip to content
Verify TLA+ specs (verisimdb)

Verify TLA+ specs (verisimdb) #27

Sign in to view logs

Verify TLA+ specs (verisimdb)

Verify TLA+ specs (verisimdb) #27

Triggered via schedule August 3, 2026 05:45
@hyperpolymathhyperpolymath
⁠ b9d1903
main
Status Success
Total duration 42s
Artifacts –

verify-tlaplus.yml

on: schedule
TLC model-check
22s
TLC model-check
Fit to window
Zoom out
Zoom in