Skip to content

Actions: joshuazh-x/raft-exp

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

model checker spec
Test #12: Commit 1b1b4d6 pushed by joshuazh-x
November 22, 2023 15:30 38s main
November 22, 2023 15:30 38s
trace validation
Test #11: Commit 3340739 pushed by joshuazh-x
November 22, 2023 15:29 43s main
November 22, 2023 15:29 43s
trace validation - dev work
Test #10: Commit 6f765d2 pushed by joshuazh-x
November 21, 2023 05:03 38s main
November 21, 2023 05:03 38s
working-draft
Test #9: Commit 0cebd62 pushed by joshuazh-x
November 16, 2023 14:07 39s main
November 16, 2023 14:07 39s
trace validation for etcd raft
Test #8: Commit f55da23 pushed by joshuazh-x
November 15, 2023 02:29 51s main
November 15, 2023 02:29 51s
Trace node id as string
Test #7: Commit 9100e77 pushed by joshuazh-x
October 18, 2023 02:49 49s main
October 18, 2023 02:49 49s
1. raft TLA spec with etcd implementation
Test #6: Commit 730a130 pushed by joshuazh-x
October 16, 2023 05:25 1m 2s main
October 16, 2023 05:25 1m 2s