Enable pre-vote by default #558
Triggered via pull request
December 5, 2025 17:49
cjen1-msft
Status
Cancelled
Total duration
4m 40s
Artifacts
–
ci-verification.yml
on: pull_request
Model Checking - Consistency
0s
Counterexamples - Consistency
37s
Simulation - Consistency
2m 13s
Model Checking - Consensus
3m 24s
Simulation - Consensus
4m 35s
Trace Validation - Consensus
0s
Annotations
7 errors
|
Model Checking - Consistency
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7462/merge exists
|
|
Trace Validation - Consensus
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7462/merge exists
|
|
Model Checking - Consensus
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7462/merge exists
|
|
Model Checking - Consensus
The operation was canceled.
|
|
Simulation - Consensus
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7462/merge exists
|
|
Simulation - Consensus
The operation was canceled.
|
|
Continuous Verification
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7462/merge exists
|