Skip to content
Continuous Verification

PreVote enabled in TLA model checking #331

Sign in to view logs

PreVote enabled in TLA model checking

PreVote enabled in TLA model checking #331

Triggered via pull request October 27, 2025 18:08
@cjen1-msftcjen1-msft
synchronize #7404
cjen1-msft:pre-vote-tla
Status Success
Total duration 23m 16s
Artifacts 1

ci-verification.yml

on: pull_request
Model Checking - Consistency
2m 6s
Model Checking - Consistency
Counterexamples - Consistency
1m 39s
Counterexamples - Consistency
Simulation - Consistency
2m 59s
Simulation - Consistency
Model Checking - Consensus
3m 52s
Model Checking - Consensus
Simulation - Consensus
23m 11s
Simulation - Consensus
Trace Validation - Consensus
7m 33s
Trace Validation - Consensus
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
tlc-trace-validation-consensus
3.87 MB
sha256:e84bdccacfd1c901562a4c7255fac144866dd739ee2d38db86491b449e4841a9