Skip to content
Verification

Move TLA+ from ADO to GHA #2059

Sign in to view logs

Move TLA+ from ADO to GHA

Move TLA+ from ADO to GHA #2059

Triggered via pull request July 19, 2024 13:55
@maxtropetsmaxtropets
synchronize #6369
maxtropets:f/tla-plus-consensus-gh
Status Success
Total duration 1h 13m 43s
Artifacts –

tlaplus.yml

on: pull_request
Model Checking - Consistency
1m 39s
Model Checking - Consistency
Counterexamples - Consistency
32s
Counterexamples - Consistency
Simulation - Consistency
2m 17s
Simulation - Consistency
Model Checking - Consensus
31m 53s
Model Checking - Consensus
Model Checking With Reconfig - Consensus
1h 13m
Model Checking With Reconfig - Consensus
Simulation - Consensus
50m 35s
Simulation - Consensus
Trace Validation - Consensus
4m 13s
Trace Validation - Consensus
Fit to window
Zoom out
Zoom in