Skip to content

Merge branch 'main' into demo-check-quorum-fail

de12cb2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Update CheckQuorum condition from quorum in any config to quorum in every active config #7375

Merge branch 'main' into demo-check-quorum-fail
de12cb2
Select commit
Loading
Failed to load commit list.
Model Checking With Atomic Reconfig - Consensus
succeeded Oct 29, 2025 in 57m 10s