Skip to content
TLA

some more view change logic #21

Sign in to view logs

some more view change logic

some more view change logic #21

Triggered via push July 26, 2024 16:58
@heidihowardheidihoward
pushed 06a761a
main
Status Failure
Total duration 34s
Artifacts –

tla.yml

on: push
apalache
18s
apalache
tlc
25s
tlc
Fit to window
Zoom out
Zoom in

Annotations

1 error
apalache
Process completed with exit code 120.