Skip to content
tla_model_checker

tla_model_checker #18

Sign in to view logs

tla_model_checker

tla_model_checker #18

Triggered via push July 16, 2024 09:45
@greenSnotgreenSnot
pushed 053f2a4
main
Status Cancelled
Total duration 5m 15s
Artifacts –

tla_model_checker.yml

on: push
tla_model_checker
5m 5s
tla_model_checker
Fit to window
Zoom out
Zoom in

Annotations

2 errors
tla_model_checker
The run was canceled by @greenSnot.
tla_model_checker
The operation was canceled.