Repository navigation

TLA+ Consensus

Reflexion design layer + docs/metadata/licence sync (#51) #21

Sign in to view logs

Triggered via push June 18, 2026 15:27

main

Status Success

Total duration 15s

Artifacts –

tla-consensus.yml

on: push

TLC model-check (BFT safety)