Skip to content
Apalache

adding simulation with tlc to ci #26

Sign in to view logs

adding simulation with tlc to ci

adding simulation with tlc to ci #26

Triggered via push September 29, 2023 07:51
@heidihowardheidihoward
pushed 89cab54
main
Status Success
Total duration 7m 33s
Artifacts –

apalache.yml

on: push
build
7m 24s
build
Fit to window
Zoom out
Zoom in