Skip to content
tla_model_checker

tla_model_checker #10

Sign in to view logs

tla_model_checker

tla_model_checker #10

Triggered via push July 15, 2024 06:16
@greenSnotgreenSnot
pushed 56de19c
main
Status Failure
Total duration 19s
Artifacts –

tla_model_checker.yml

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

Annotations

1 error
tla_model_checker
Process completed with exit code 255.