Skip to content
Apalache

adding citation file #21

Sign in to view logs

adding citation file

adding citation file #21

Triggered via push September 18, 2023 20:40
@heidihowardheidihoward
pushed b16a2a6
main
Status Success
Total duration 8m 57s
Artifacts –

apalache.yml

on: push
build
8m 44s
build
Fit to window
Zoom out
Zoom in