Skip to content
Long Verification

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

Sign in to view logs

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

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

Model Checking With Atomic Reconfig - Consensus

Model Checking With Atomic Reconfig - Consensus
succeeded Oct 24, 2025 in 1h 1m 12s