Skip to content
TLA

fixing types #45

Sign in to view logs

fixing types

fixing types #45

Triggered via push August 2, 2024 10:30
@heidihowardheidihoward
pushed 519f03f
main
Status Success
Total duration 46s
Artifacts –

tla.yml

on: push
apalache
19s
apalache
tlc
34s
tlc
Fit to window
Zoom out
Zoom in