Skip to content
TLA

reformat paper snippets #37

Sign in to view logs

reformat paper snippets

reformat paper snippets #37

Triggered via push July 31, 2024 15:45
@heidihowardheidihoward
pushed 3192d66
main
Status Failure
Total duration 1m 16s
Artifacts –

tla.yml

on: push
apalache
18s
apalache
tlc
1m 4s
tlc
Fit to window
Zoom out
Zoom in

Annotations

1 error
apalache
Process completed with exit code 120.