Skip to content
tla_model_checker

tla_model_checker #11

Sign in to view logs

tla_model_checker

tla_model_checker #11

Triggered via push July 15, 2024 06:17
@greenSnotgreenSnot
pushed ead51af
main
Status Failure
Total duration 32s
Artifacts –

tla_model_checker.yml

on: push
tla_model_checker
21s
tla_model_checker
Fit to window
Zoom out
Zoom in

Annotations

1 error
tla_model_checker
Process completed with exit code 255.