Skip to content
Apalache

adding setting for tla+ vscode plug-in #25

Sign in to view logs

adding setting for tla+ vscode plug-in

adding setting for tla+ vscode plug-in #25

Triggered via push September 29, 2023 07:06
@heidihowardheidihoward
pushed 324e21c
main
Status Success
Total duration 7m 12s
Artifacts –

apalache.yml

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