Skip to content
TLA+ Tools

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 10m 6s
Artifacts 1

tlatools.yml

on: push
build
9m 57s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Pretty Printed TLA+ Specification Expired
147 KB