Skip to content
Apalache

upping the number of values/ballots for 4 acceptor config #24

Sign in to view logs

upping the number of values/ballots for 4 acceptor config

upping the number of values/ballots for 4 acceptor config #24

Triggered via push September 29, 2023 06:59
@heidihowardheidihoward
pushed 49aaf12
main
Status Success
Total duration 12m 32s
Artifacts –

apalache.yml

on: push
build
12m 21s
build
Fit to window
Zoom out
Zoom in