Skip to content
tla_model_checker

tla_model_checker #8

Sign in to view logs

tla_model_checker

tla_model_checker #8

Triggered via push July 15, 2024 02:06
@greenSnotgreenSnot
pushed dfffa62
main
Status Failure
Total duration 2h 58m 3s
Artifacts –

tla_model_checker.yml

on: push
tla_model_checker
2h 57m
tla_model_checker
Fit to window
Zoom out
Zoom in

Annotations

1 error
tla_model_checker
Process completed with exit code 1.