Skip to content
TLA

fully remove constants as replicas #38

Sign in to view logs

fully remove constants as replicas

fully remove constants as replicas #38

Triggered via push July 31, 2024 15:54
@heidihowardheidihoward
pushed d033962
main
Status Failure
Total duration 50s
Artifacts –

tla.yml

on: push
apalache
17s
apalache
tlc
42s
tlc
Fit to window
Zoom out
Zoom in

Annotations

1 error
apalache
Process completed with exit code 120.