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

test: Deserialize ITF traces emitted by consensus and vote keeper Qui… Rust #204: Commit 7caef15 pushed by romac
November 15, 2023 11:09 57s main
main
November 15, 2023 11:09 57s
test: Deserialize ITF traces emitted by consensus and vote keeper Qui… Quint #37: Commit 7caef15 pushed by romac
November 15, 2023 11:09 35s main
main
November 15, 2023 11:09 35s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #203: Pull request #18 synchronize by romac
November 15, 2023 11:07 55s romac/itf
romac/itf
November 15, 2023 11:07 55s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Quint #36: Pull request #18 synchronize by romac
November 15, 2023 11:07 35s romac/itf
romac/itf
November 15, 2023 11:07 35s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Coverage #206: Pull request #18 synchronize by romac
November 15, 2023 11:07 1m 9s romac/itf
romac/itf
November 15, 2023 11:07 1m 9s
fix(spec/votekeeper): Fix the VoteKeeper spec to account for skip threshold from higher round Quint #35: Pull request #74 opened by romac
November 15, 2023 11:01 1m 18s romac/fix-vote-keeper-spec
romac/fix-vote-keeper-spec
November 15, 2023 11:01 1m 18s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Rust #202: Pull request #73 synchronize by romac
November 15, 2023 10:16 51s romac/keeper-skip-future-2
romac/keeper-skip-future-2
November 15, 2023 10:16 51s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Coverage #205: Pull request #73 synchronize by romac
November 15, 2023 10:16 1m 10s romac/keeper-skip-future-2
romac/keeper-skip-future-2
November 15, 2023 10:16 1m 10s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Rust #201: Pull request #73 synchronize by romac
November 15, 2023 10:09 43s romac/keeper-skip-future-2
romac/keeper-skip-future-2
November 15, 2023 10:09 43s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Coverage #204: Pull request #73 synchronize by romac
November 15, 2023 10:09 57s romac/keeper-skip-future-2
romac/keeper-skip-future-2
November 15, 2023 10:09 57s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Coverage #203: Pull request #73 synchronize by romac
November 15, 2023 09:54 1m 8s romac/keeper-skip-future-2
romac/keeper-skip-future-2
November 15, 2023 09:54 1m 8s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Rust #200: Pull request #73 synchronize by romac
November 15, 2023 09:54 1m 0s romac/keeper-skip-future-2
romac/keeper-skip-future-2
November 15, 2023 09:54 1m 0s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Rust #199: Pull request #73 opened by romac
November 15, 2023 09:50 48s romac/keeper-skip-future-2
romac/keeper-skip-future-2
November 15, 2023 09:50 48s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Coverage #202: Pull request #73 opened by romac
November 15, 2023 09:50 1m 7s romac/keeper-skip-future-2
romac/keeper-skip-future-2
November 15, 2023 09:50 1m 7s
fix(votekeeper): Only emit SkipRound when we have an honest threshold at a _future_ round Coverage #201: Pull request #72 synchronize by romac
November 15, 2023 09:16 1m 2s romac/keeper-skip-future
romac/keeper-skip-future
November 15, 2023 09:16 1m 2s
fix(votekeeper): Only emit SkipRound when we have an honest threshold at a _future_ round Rust #198: Pull request #72 synchronize by romac
November 15, 2023 09:16 57s romac/keeper-skip-future
romac/keeper-skip-future
November 15, 2023 09:16 57s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Rust #197: Pull request #70 synchronize by ancazamfir
November 15, 2023 09:09 1m 2s anca/keeper_skip_test
anca/keeper_skip_test
November 15, 2023 09:09 1m 2s
fix(votekeeper): Compute threshold directly in VoteKeeper to account for Skip threshold Coverage #200: Pull request #70 synchronize by ancazamfir
November 15, 2023 09:09 59s anca/keeper_skip_test
anca/keeper_skip_test
November 15, 2023 09:09 59s
feat(driver): Simplify code to keep only one round state Rust #196: Pull request #71 synchronize by romac
November 14, 2023 21:49 1m 1s anca/one_round_state
anca/one_round_state
November 14, 2023 21:49 1m 1s
feat(driver): Simplify code to keep only one round state Coverage #199: Pull request #71 synchronize by romac
November 14, 2023 21:49 56s anca/one_round_state
anca/one_round_state
November 14, 2023 21:49 56s
feat: Add height to votes and update tests Rust #195: Pull request #67 synchronize by romac
November 14, 2023 21:48 57s anca/vote_height
anca/vote_height
November 14, 2023 21:48 57s
feat: Add height to votes and update tests Coverage #198: Pull request #67 synchronize by romac
November 14, 2023 21:48 1m 14s anca/vote_height
anca/vote_height
November 14, 2023 21:48 1m 14s
feat(driver): Simplify code to keep only one round state Rust #194: Pull request #71 synchronize by romac
November 14, 2023 21:45 57s anca/one_round_state
anca/one_round_state
November 14, 2023 21:45 57s
feat(driver): Simplify code to keep only one round state Coverage #197: Pull request #71 synchronize by romac
November 14, 2023 21:45 1m 0s anca/one_round_state
anca/one_round_state
November 14, 2023 21:45 1m 0s
fix(votekeeper): Only emit SkipRound when we have an honest threshold at a _future_ round Rust #193: Pull request #72 opened by romac
November 14, 2023 21:42 56s romac/keeper-skip-future
romac/keeper-skip-future
November 14, 2023 21:42 56s