Iteration on TLC wrapper script #54
Triggered via pull request
October 2, 2024 08:26
achamayou
Status
Success
Total duration
1h 11m 56s
Artifacts
–
long-verification.yml
on: pull_request
Model Checking With Atomic Reconfig - Consensus
30m 51s
Model Checking With Reconfig - Consensus
1h 11m
Simulation - Consensus
50m 44s