Skip to content
Long Verification

PreVote enabled in TLA model checking #3665

Sign in to view logs

PreVote enabled in TLA model checking

PreVote enabled in TLA model checking #3665

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

long-verification.yml

on: pull_request
Model Checking With Atomic Reconfig - Consensus
0s
Model Checking With Atomic Reconfig - Consensus
Model Checking With Reconfig - Consensus
0s
Model Checking With Reconfig - Consensus
Simulation - Consensus
Simulation - Consensus
Fit to window
Zoom out
Zoom in