Skip to content
TLA+ Consensus

ci(lean): add Lean proof gate (lake build) guarding the metatheory #11

Sign in to view logs

ci(lean): add Lean proof gate (lake build) guarding the metatheory

ci(lean): add Lean proof gate (lake build) guarding the metatheory #11

Triggered via push June 14, 2026 14:48
@hyperpolymathhyperpolymath
pushed c8780bf
main
Status Success
Total duration 11s
Artifacts –

tla-consensus.yml

on: push
TLC model-check (BFT safety)
7s
TLC model-check (BFT safety)
Fit to window
Zoom out
Zoom in