Skip to content
Back to pull request #6508

Model max_uncommitted_tx_count of raft.h in abs.tla #675

Sign in to view logs

Model max_uncommitted_tx_count of raft.h in abs.tla

Model max_uncommitted_tx_count of raft.h in abs.tla #675

CI (snp, default, self-hosted, 1ES.Pool=gha-virtual-ccf-sub, --user root --publish-all --cap-add ...

CI (snp, default, self-hosted, 1ES.Pool=gha-virtual-ccf-sub, --user root --publish-all --cap-add ...
succeeded Sep 27, 2024 in 5m 2s