Skip to content

Actions: informalsystems/malachite

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
485 workflow run results
485 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

common: Move address from SignedVote to Vote Coverage #110: Pull request #36 opened by romac
October 30, 2023 13:52 42s romac/move-address
romac/move-address
October 30, 2023 13:52 42s
code: Initial implementation of the state machine, vote keeper and driver Coverage #109: Pull request #1 synchronize by romac
October 30, 2023 13:21 50s romac/rust-state-machine
romac/rust-state-machine
October 30, 2023 13:21 50s
common: Rename Consensus trait to Context Coverage #108: Pull request #35 opened by romac
October 30, 2023 13:01 53s romac/ctx-trait
romac/ctx-trait
October 30, 2023 13:01 53s
code: Initial implementation of the state machine, vote keeper and driver Coverage #107: Pull request #1 synchronize by romac
October 30, 2023 12:21 53s romac/rust-state-machine
romac/rust-state-machine
October 30, 2023 12:21 53s
executor: Cleanup input/output names and align VoteKeeper to it Coverage #106: Pull request #34 opened by romac
October 30, 2023 10:17 47s romac/executor-inout
romac/executor-inout
October 30, 2023 10:17 47s
code: Initial implementation of the state machine, vote keeper and driver Coverage #105: Pull request #1 synchronize by ancazamfir
October 27, 2023 16:48 1m 0s romac/rust-state-machine
romac/rust-state-machine
October 27, 2023 16:48 1m 0s
code: Initial implementation of the state machine, vote keeper and driver Coverage #104: Pull request #1 synchronize by romac
October 27, 2023 15:08 1m 16s romac/rust-state-machine
romac/rust-state-machine
October 27, 2023 15:08 1m 16s
executor: Sign votes and verify votes signatures Coverage #103: Pull request #16 synchronize by romac
October 27, 2023 15:01 1m 6s romac/signed-vote
romac/signed-vote
October 27, 2023 15:01 1m 6s
code: Initial implementation of the state machine, vote keeper and driver Coverage #102: Pull request #1 synchronize by romac
October 27, 2023 14:34 30s romac/rust-state-machine
romac/rust-state-machine
October 27, 2023 14:34 30s
executor: Sign votes and verify votes signatures Coverage #101: Pull request #16 synchronize by romac
October 27, 2023 14:31 1m 0s romac/signed-vote
romac/signed-vote
October 27, 2023 14:31 1m 0s
Use different types for the executors inputs and outputs Coverage #100: Pull request #17 synchronize by romac
October 27, 2023 14:31 1m 9s romac/executor-output
romac/executor-output
October 27, 2023 14:31 1m 9s
executor: Sign votes and verify votes signatures Coverage #99: Pull request #16 synchronize by romac
October 27, 2023 13:25 44s romac/signed-vote
romac/signed-vote
October 27, 2023 13:25 44s
executor: Sign votes and verify votes signatures Coverage #98: Pull request #16 synchronize by romac
October 27, 2023 13:22 50s romac/signed-vote
romac/signed-vote
October 27, 2023 13:22 50s
executor: Sign votes and verify votes signatures Coverage #97: Pull request #16 synchronize by romac
October 27, 2023 12:39 49s romac/signed-vote
romac/signed-vote
October 27, 2023 12:39 49s
executor: Sign votes and verify votes signatures Coverage #96: Pull request #16 synchronize by romac
October 27, 2023 12:38 55s romac/signed-vote
romac/signed-vote
October 27, 2023 12:38 55s
executor: Sign votes and verify votes signatures Coverage #95: Pull request #16 synchronize by romac
October 27, 2023 10:17 1m 4s romac/signed-vote
romac/signed-vote
October 27, 2023 10:17 1m 4s
executor: Sign votes and verify votes signatures Coverage #94: Pull request #16 synchronize by romac
October 27, 2023 10:16 52s romac/signed-vote
romac/signed-vote
October 27, 2023 10:16 52s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Coverage #93: Pull request #18 synchronize by romac
October 25, 2023 17:35 57s romac/itf
romac/itf
October 25, 2023 17:35 57s
code: Initial implementation of the state machine, vote keeper and driver Coverage #92: Pull request #1 synchronize by romac
October 25, 2023 17:29 44s romac/rust-state-machine
romac/rust-state-machine
October 25, 2023 17:29 44s
code: Events and SM improvements Coverage #91: Pull request #19 opened by romac
October 25, 2023 17:17 44s retreat/ci-week
retreat/ci-week
October 25, 2023 17:17 44s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Coverage #90: Pull request #18 synchronize by romac
October 25, 2023 17:14 46s romac/itf
romac/itf
October 25, 2023 17:14 46s
executor: Sign votes and verify votes signatures Coverage #89: Pull request #16 synchronize by romac
October 25, 2023 17:14 43s romac/signed-vote
romac/signed-vote
October 25, 2023 17:14 43s
Use different types for the executors inputs and outputs Coverage #88: Pull request #17 synchronize by romac
October 25, 2023 17:13 35s romac/executor-output
romac/executor-output
October 25, 2023 17:13 35s
code: Initial implementation of the state machine, vote keeper and driver Coverage #87: Pull request #1 synchronize by romac
October 25, 2023 17:13 46s romac/rust-state-machine
romac/rust-state-machine
October 25, 2023 17:13 46s
Use different types for the executors inputs and outputs Coverage #86: Pull request #17 synchronize by romac
October 25, 2023 17:12 36s romac/executor-output
romac/executor-output
October 25, 2023 17:12 36s
ProTip! You can narrow down the results and go further in time using created:<2023-10-25 or the other filters available.