Skip to content

Actions: fpaxos/fpaxos-tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
TLA+ Tools TLA+ Tools #27: Manually run by heidihoward
May 16, 2024 20:24 5m 51s main
main
May 16, 2024 20:24 5m 51s
adding simulation with tlc to ci TLA+ Tools #26: Commit 89cab54 pushed by heidihoward
September 29, 2023 07:51 10m 9s main
main
September 29, 2023 07:51 10m 9s
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
adding setting for tla+ vscode plug-in TLA+ Tools #25: Commit 324e21c pushed by heidihoward
September 29, 2023 07:06 10m 33s main
main
September 29, 2023 07:06 10m 33s
upping the number of values/ballots for 4 acceptor config TLA+ Tools #24: Commit 49aaf12 pushed by heidihoward
September 29, 2023 06:59 10m 6s main
main
September 29, 2023 06:59 10m 6s
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 TLA+ Tools #23: Commit a807c3a pushed by heidihoward
September 18, 2023 20:44 1m 14s main
main
September 18, 2023 20:44 1m 14s
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 TLA+ Tools #22: Commit 96c3a62 pushed by heidihoward
September 18, 2023 20:43 1m 20s main
main
September 18, 2023 20:43 1m 20s
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
adding citation file TLA+ Tools #21: Commit b16a2a6 pushed by heidihoward
September 18, 2023 20:40 1m 9s main
main
September 18, 2023 20:40 1m 9s