Skip to content

Actions: fpaxos/fpaxos-tlaplus

Actions

Apalache

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
apalache.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adding simulation with tlc to ci Apalache #26: Commit 89cab54 pushed by heidihoward
September 29, 2023 07:51 7m 33s main
main
September 29, 2023 07:51 7m 33s
adding setting for tla+ vscode plug-in Apalache #25: Commit 324e21c pushed by heidihoward
September 29, 2023 07:06 7m 12s main
main
September 29, 2023 07:06 7m 12s
upping the number of values/ballots for 4 acceptor config Apalache #24: Commit 49aaf12 pushed by heidihoward
September 29, 2023 06:59 12m 32s main
main
September 29, 2023 06:59 12m 32s
updating citation file Apalache #23: Commit a807c3a pushed by heidihoward
September 18, 2023 20:44 7m 16s main
main
September 18, 2023 20:44 7m 16s
updating citation file Apalache #22: Commit 96c3a62 pushed by heidihoward
September 18, 2023 20:43 11m 34s main
main
September 18, 2023 20:43 11m 34s
adding citation file Apalache #21: Commit b16a2a6 pushed by heidihoward
September 18, 2023 20:40 8m 57s main
main
September 18, 2023 20:40 8m 57s