Skip to content

Actions: informalsystems/malachite

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
572 workflow run results
572 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(driver): Simplify code to keep only one round state Quint #47: Pull request #71 synchronize by romac
November 15, 2023 15:33 1m 46s anca/one_round_state
anca/one_round_state
November 15, 2023 15:33 1m 46s
feat(driver): Simplify code to keep only one round state Rust #211: Pull request #71 synchronize by romac
November 15, 2023 15:33 54s anca/one_round_state
anca/one_round_state
November 15, 2023 15:33 54s
feat(driver): Simplify code to keep only one round state Coverage #214: Pull request #71 synchronize by romac
November 15, 2023 15:33 1m 12s anca/one_round_state
anca/one_round_state
November 15, 2023 15:33 1m 12s
feat(driver): Simplify code to keep only one round state Coverage #213: Pull request #71 synchronize by romac
November 15, 2023 15:24 55s anca/one_round_state
anca/one_round_state
November 15, 2023 15:24 55s
feat(driver): Simplify code to keep only one round state Rust #210: Pull request #71 synchronize by romac
November 15, 2023 15:24 53s anca/one_round_state
anca/one_round_state
November 15, 2023 15:24 53s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Coverage #212: Pull request #73 synchronize by romac
November 15, 2023 15:18 1m 4s romac/keeper-skip-future-2
romac/keeper-skip-future-2
November 15, 2023 15:18 1m 4s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Rust #209: Pull request #73 synchronize by romac
November 15, 2023 15:18 59s romac/keeper-skip-future-2
romac/keeper-skip-future-2
November 15, 2023 15:18 59s
fix(spec/votekeeper): Fix the VoteKeeper spec to account for skip threshold from higher round Quint #46: Pull request #74 synchronize by romac
November 15, 2023 15:11 1m 24s romac/fix-vote-keeper-spec
romac/fix-vote-keeper-spec
November 15, 2023 15:11 1m 24s
tests: MBT for votekeeper Rust #208: Pull request #63 synchronize by hvanz
November 15, 2023 14:55 1m 8s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 14:55 1m 8s
tests: MBT for votekeeper Coverage #211: Pull request #63 synchronize by hvanz
November 15, 2023 14:55 1m 18s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 14:55 1m 18s
tests: MBT for votekeeper Quint #45: Pull request #63 synchronize by hvanz
November 15, 2023 14:55 1m 36s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 14:55 1m 36s
tests: MBT for votekeeper Rust #207: Pull request #63 synchronize by hvanz
November 15, 2023 14:53 1m 0s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 14:53 1m 0s
tests: MBT for votekeeper Coverage #210: Pull request #63 synchronize by hvanz
November 15, 2023 14:53 1m 22s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 14:53 1m 22s
tests: MBT for votekeeper Quint #44: Pull request #63 synchronize by hvanz
November 15, 2023 14:53 1m 44s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 14:53 1m 44s
First quint draft that is somewhat complete with consensus, executor,… Quint #43: Commit c4f9bfd pushed by josef-widder
November 15, 2023 14:10 1m 49s main
main
November 15, 2023 14:10 1m 49s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #42: Pull request #40 synchronize by josef-widder
November 15, 2023 14:04 1m 42s josef/executor
josef/executor
November 15, 2023 14:04 1m 42s
Clean votekeeper spec Quint #41: Pull request #69 synchronize by josef-widder
November 15, 2023 14:03 1m 25s hvanz/spec-votekeeper-pass
hvanz/spec-votekeeper-pass
November 15, 2023 14:03 1m 25s
First quint draft that is somewhat complete with consensus, executor, voteKeeper Quint #40: Pull request #40 synchronize by josef-widder
November 15, 2023 14:02 1m 51s josef/executor
josef/executor
November 15, 2023 14:02 1m 51s
tests: MBT for votekeeper Rust #206: Pull request #63 synchronize by romac
November 15, 2023 12:17 43s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 12:17 43s
tests: MBT for votekeeper Coverage #209: Pull request #63 synchronize by romac
November 15, 2023 12:17 1m 6s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 12:17 1m 6s
tests: MBT for votekeeper Quint #39: Pull request #63 synchronize by romac
November 15, 2023 12:17 1m 33s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 12:17 1m 33s
tests: MBT for votekeeper Quint #38: Pull request #63 synchronize by romac
November 15, 2023 11:12 1m 36s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 11:12 1m 36s
tests: MBT for votekeeper Rust #205: Pull request #63 synchronize by romac
November 15, 2023 11:12 1m 8s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 11:12 1m 8s
tests: MBT for votekeeper Coverage #208: Pull request #63 synchronize by romac
November 15, 2023 11:12 2m 55s hvanz/mbt-votekeeper
hvanz/mbt-votekeeper
November 15, 2023 11:12 2m 55s
test: Deserialize ITF traces emitted by consensus and vote keeper Qui… Coverage #207: Commit 7caef15 pushed by romac
November 15, 2023 11:09 59s main
main
November 15, 2023 11:09 59s