Skip to content

Saving tweaks

Saving tweaks #137

Triggered via push October 30, 2023 15:37
Status Failure
Total duration 1d 1h 8m 4s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

tlaplus.yml

on: push
Model Checking - Consensus
0s
Model Checking - Consensus
Simulation - Consensus
41s
Simulation - Consensus
Model Checking - Consistency
0s
Model Checking - Consistency
Counterexamples - Consistency
52s
Counterexamples - Consistency
Simulation - Consistency
6m 19s
Simulation - Consistency
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Simulation - Consensus
Process completed with exit code 76.
Model Checking - Consistency
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
Model Checking - Consensus
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.

Artifacts

Produced during runtime
Name Size
tlc Expired
566 KB