Skip to content
TLA+ Spec Verification

fix #501

Sign in to view logs

fix

fix #501

Triggered via push May 9, 2024 14:01
@achamayouachamayou
pushed 1fb4432
tlc-repro
Status Failure
Total duration 1d 2h 44m 13s
Artifacts –

tlaplus.yml

on: push
Model Checking - Consistency
0s
Model Checking - Consistency
Counterexamples - Consistency
40s
Counterexamples - Consistency
Simulation - Consistency
3m 13s
Simulation - Consistency
tlai-linter
0s
tlai-linter
Fit to window
Zoom out
Zoom in

Annotations

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