fixed (and simplified) proof in byzpaxos/Consensus.tla #791
Triggered via pull request
February 28, 2025 14:31
muenchnerkindl
Status
Success
Total duration
21m 33s
Artifacts
–