Skip to content

Actions: joshuazh-x/raft-exp

Actions

Static Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis.yaml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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