Skip to content
Continuous Verification

Enable pre-vote by default #560

Sign in to view logs

Enable pre-vote by default

Enable pre-vote by default #560

Triggered via pull request December 5, 2025 18:00
@cjen1-msftcjen1-msft
synchronize #7462
cjen1-msft:enable_pre_vote
Status Failure
Total duration 26m 8s
Artifacts 1

ci-verification.yml

on: pull_request
Model Checking - Consistency
1m 44s
Model Checking - Consistency
Counterexamples - Consistency
48s
Counterexamples - Consistency
Simulation - Consistency
2m 8s
Simulation - Consistency
Model Checking - Consensus
3m 17s
Model Checking - Consensus
Simulation - Consensus
21m 36s
Simulation - Consensus
Trace Validation - Consensus
4m 8s
Trace Validation - Consensus
Fit to window
Zoom out
Zoom in

Annotations

1 error
Trace Validation - Consensus
Process completed with exit code 37.

Artifacts

Produced during runtime
Name Size Digest
tlc-trace-validation-consensus
149 KB
sha256:6846dda9cb715eec1dd0043f3bc4aa3227f50c5f6d63746fdcf02efc26aa5b14