Skip to content

Merge branch 'main' into only_enable_runtime_limits_during_js_exec #116

Merge branch 'main' into only_enable_runtime_limits_during_js_exec

Merge branch 'main' into only_enable_runtime_limits_during_js_exec #116

Triggered via push October 16, 2023 14:28
Status Failure
Total duration 1d 2h 17m 34s
Artifacts
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
50m 36s
Simulation - Consensus
Model Checking - Consistency
0s
Model Checking - Consistency
Counterexamples - Consistency
1m 2s
Counterexamples - Consistency
Simulation - Consistency
5m 6s
Simulation - Consistency
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Model Checking - Consensus
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
Model Checking - Consistency
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.