Skip to content

Actions: heidihoward/pbft-tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

some more view change logic TLA #21: Commit 06a761a pushed by heidihoward
July 26, 2024 16:58 34s main
main
July 26, 2024 16:58 34s
using apalache's type alias to tidy things up TLA #20: Commit 0b9d2ee pushed by heidihoward
July 25, 2024 17:02 32s main
main
July 25, 2024 17:02 32s
making snowcat happy again TLA #19: Commit cce7f80 pushed by heidihoward
July 25, 2024 16:15 31s main
main
July 25, 2024 16:15 31s
mocking up view change TLA #18: Commit 8072226 pushed by heidihoward
July 25, 2024 12:41 31s main
main
July 25, 2024 12:41 31s
adding but not using vchange TLA #17: Commit 3b90e45 pushed by heidihoward
July 24, 2024 17:02 57s main
main
July 24, 2024 17:02 57s
making snowcat happy again TLA #16: Commit b8975c9 pushed by heidihoward
July 24, 2024 16:39 1m 3s main
main
July 24, 2024 16:39 1m 3s
adding stable checkpoints TLA #15: Commit a793a45 pushed by heidihoward
July 24, 2024 16:26 1m 5s main
main
July 24, 2024 16:26 1m 5s
adding checkpointing TLA #14: Commit 301194f pushed by heidihoward
July 23, 2024 17:17 2m 27s main
main
July 23, 2024 17:17 2m 27s
ci fix TLA #13: Commit c1399d8 pushed by heidihoward
July 23, 2024 14:27 34s main
main
July 23, 2024 14:27 34s
ready for checkpoints TLA #12: Commit 6ee6b29 pushed by heidihoward
July 23, 2024 13:56 22s main
main
July 23, 2024 13:56 22s
tidy up TLA #11: Commit c998e6a pushed by heidihoward
July 23, 2024 12:15 35s main
main
July 23, 2024 12:15 35s
typo TLA #10: Commit bd3efe0 pushed by heidihoward
July 22, 2024 17:03 38s main
main
July 22, 2024 17:03 38s
moving other bounds into mc TLA #9: Commit 0bb3a53 pushed by heidihoward
July 22, 2024 17:02 26s main
main
July 22, 2024 17:02 26s
handling gh actions warmings TLA #8: Commit a6f4d70 pushed by heidihoward
July 22, 2024 16:55 37s main
main
July 22, 2024 16:55 37s
revised readme title TLA #7: Commit 7825af5 pushed by heidihoward
July 22, 2024 16:50 37s main
main
July 22, 2024 16:50 37s
typo in type annotations TLA #6: Commit b049290 pushed by heidihoward
July 22, 2024 16:50 36s main
main
July 22, 2024 16:50 36s
type annotations TLA #5: Commit 34e1963 pushed by heidihoward
July 22, 2024 16:49 32s main
main
July 22, 2024 16:49 32s
seperating spec nodes TLA #4: Commit 2747ba2 pushed by heidihoward
July 22, 2024 16:40 43s main
main
July 22, 2024 16:40 43s
upping the number of simulations in ci TLA #3: Commit 3291785 pushed by heidihoward
July 22, 2024 16:31 36s main
main
July 22, 2024 16:31 36s
adding tlc to gh actions TLA #2: Commit 536652d pushed by heidihoward
July 22, 2024 16:24 22s main
main
July 22, 2024 16:24 22s
adding gh action TLA #1: Commit a97aa91 pushed by heidihoward
July 22, 2024 16:20 24s main
main
July 22, 2024 16:20 24s