Skip to content
tla_model_checker

tla_model_checker #5

Sign in to view logs

tla_model_checker

tla_model_checker #5

Triggered via push July 12, 2024 07:32
@greenSnotgreenSnot
pushed e6e260f
main
Status Failure
Total duration 2h 15m 57s
Artifacts –

tla_model_checker.yml

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

Annotations

1 error
tla_model_checker
Process completed with exit code 1.