Skip to content
Continuous Verification

Exhaustive enum switch #682

Sign in to view logs

Exhaustive enum switch

Exhaustive enum switch #682

Triggered via pull request March 16, 2026 15:59
@cjen1-msftcjen1-msft
synchronize #7701
cjen1-msft:tired-switching
Status Cancelled
Total duration 1m 47s
Artifacts –

ci-verification.yml

on: pull_request
Model Checking - Consistency
0s
Model Checking - Consistency
Counterexamples - Consistency
33s
Counterexamples - Consistency
Simulation - Consistency
1m 21s
Simulation - Consistency
Model Checking - Consensus
0s
Model Checking - Consensus
Simulation - Consensus
1m 18s
Simulation - Consensus
Trace Validation - Consensus
0s
Trace Validation - Consensus
Model Checking - Self-Healing Open
0s
Model Checking - Self-Healing Open
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Model Checking - Consistency
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7701/merge exists
Model Checking - Consensus
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7701/merge exists
Trace Validation - Consensus
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7701/merge exists
Model Checking - Self-Healing Open
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7701/merge exists
Simulation - Consensus
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7701/merge exists
Simulation - Consensus
The operation was canceled.
Simulation - Consistency
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7701/merge exists
Simulation - Consistency
The operation was canceled.
Continuous Verification
Canceling since a higher priority waiting request for Continuous Verification-refs/pull/7701/merge exists