Skip to content
Continuous Verification

Enable pre-vote by default #521

Sign in to view logs

Enable pre-vote by default

Enable pre-vote by default #521

Triggered via pull request November 21, 2025 15:13
@cjen1-msftcjen1-msft
synchronize #7462
cjen1-msft:enable_pre_vote
Status Success
Total duration 21m 55s
Artifacts 1

ci-verification.yml

on: pull_request
Model Checking - Consistency
1m 41s
Model Checking - Consistency
Counterexamples - Consistency
44s
Counterexamples - Consistency
Simulation - Consistency
2m 3s
Simulation - Consistency
Model Checking - Consensus
3m 19s
Model Checking - Consensus
Simulation - Consensus
21m 30s
Simulation - Consensus
Trace Validation - Consensus
7m 29s
Trace Validation - Consensus
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
tlc-trace-validation-consensus
64.1 MB
sha256:5b1b416f455b1cfc3c9513da0a29c16376297b75f5286b96eeb894be1a1289f3