Skip to content

Actions: informalsystems/malachite

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
248 workflow run results
248 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
executor: Sign votes and verify votes signatures Coverage #85: Pull request #16 synchronize by romac
October 25, 2023 17:12 35s romac/signed-vote
romac/signed-vote
October 25, 2023 17:12 35s
code: Initial implementation of the state machine, vote keeper and driver Coverage #84: Pull request #1 synchronize by romac
October 25, 2023 15:44 44s romac/rust-state-machine
romac/rust-state-machine
October 25, 2023 15:44 44s
code: Initial implementation of the state machine, vote keeper and driver Coverage #83: Pull request #1 synchronize by romac
October 25, 2023 15:41 Startup failure romac/rust-state-machine
romac/rust-state-machine
October 25, 2023 15:41 Startup failure
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Coverage #82: Pull request #18 synchronize by romac
October 25, 2023 15:13 1m 4s romac/itf
romac/itf
October 25, 2023 15:13 1m 4s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Coverage #81: Pull request #18 opened by romac
October 25, 2023 15:11 1m 4s romac/itf
romac/itf
October 25, 2023 15:11 1m 4s
Refactor VoteCount Coverage #80: Pull request #15 synchronize by romac
October 25, 2023 13:28 38s romac/vote-keeper-refactor
romac/vote-keeper-refactor
October 25, 2023 13:28 38s
Refactor VoteCount Coverage #79: Pull request #15 synchronize by romac
October 25, 2023 13:23 39s romac/vote-keeper-refactor
romac/vote-keeper-refactor
October 25, 2023 13:23 39s
Use different types for the executors inputs and outputs Coverage #78: Pull request #17 opened by romac
October 25, 2023 13:02 42s romac/executor-output
romac/executor-output
October 25, 2023 13:02 42s
executor: Sign votes and verify votes signatures Coverage #77: Pull request #16 opened by romac
October 25, 2023 10:01 53s romac/signed-vote
romac/signed-vote
October 25, 2023 10:01 53s
Refactor VoteCount Coverage #76: Pull request #15 opened by romac
October 25, 2023 09:09 49s romac/vote-keeper-refactor
romac/vote-keeper-refactor
October 25, 2023 09:09 49s
code: Initial implementation of the state machine, vote keeper and driver Coverage #75: Pull request #1 synchronize by romac
October 25, 2023 07:22 1m 8s romac/rust-state-machine
romac/rust-state-machine
October 25, 2023 07:22 1m 8s
code: Count & Keeper improvements Coverage #74: Pull request #14 opened by adizere
October 24, 2023 23:23 27s adi/cici
adi/cici
October 24, 2023 23:23 27s