Skip to content

Actions: informalsystems/malachite

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
152 workflow run results
152 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

code: Initial implementation of the state machine, vote keeper and driver Rust #102: Pull request #1 synchronize by ancazamfir
October 27, 2023 16:48 44s romac/rust-state-machine
romac/rust-state-machine
October 27, 2023 16:48 44s
code: Initial implementation of the state machine, vote keeper and driver Rust #101: Pull request #1 synchronize by romac
October 27, 2023 15:08 45s romac/rust-state-machine
romac/rust-state-machine
October 27, 2023 15:08 45s
executor: Sign votes and verify votes signatures Rust #100: Pull request #16 synchronize by romac
October 27, 2023 15:01 45s romac/signed-vote
romac/signed-vote
October 27, 2023 15:01 45s
code: Initial implementation of the state machine, vote keeper and driver Rust #99: Pull request #1 synchronize by romac
October 27, 2023 14:34 41s romac/rust-state-machine
romac/rust-state-machine
October 27, 2023 14:34 41s
executor: Sign votes and verify votes signatures Rust #98: Pull request #16 synchronize by romac
October 27, 2023 14:31 36s romac/signed-vote
romac/signed-vote
October 27, 2023 14:31 36s
Use different types for the executors inputs and outputs Rust #97: Pull request #17 synchronize by romac
October 27, 2023 14:31 49s romac/executor-output
romac/executor-output
October 27, 2023 14:31 49s
executor: Sign votes and verify votes signatures Rust #96: Pull request #16 synchronize by romac
October 27, 2023 13:25 51s romac/signed-vote
romac/signed-vote
October 27, 2023 13:25 51s
executor: Sign votes and verify votes signatures Rust #95: Pull request #16 synchronize by romac
October 27, 2023 13:22 49s romac/signed-vote
romac/signed-vote
October 27, 2023 13:22 49s
executor: Sign votes and verify votes signatures Rust #94: Pull request #16 synchronize by romac
October 27, 2023 12:39 54s romac/signed-vote
romac/signed-vote
October 27, 2023 12:39 54s
executor: Sign votes and verify votes signatures Rust #93: Pull request #16 synchronize by romac
October 27, 2023 12:38 47s romac/signed-vote
romac/signed-vote
October 27, 2023 12:38 47s
executor: Sign votes and verify votes signatures Rust #92: Pull request #16 synchronize by romac
October 27, 2023 10:17 43s romac/signed-vote
romac/signed-vote
October 27, 2023 10:17 43s
executor: Sign votes and verify votes signatures Rust #91: Pull request #16 synchronize by romac
October 27, 2023 10:16 45s romac/signed-vote
romac/signed-vote
October 27, 2023 10:16 45s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #90: Pull request #18 synchronize by romac
October 25, 2023 17:35 50s romac/itf
romac/itf
October 25, 2023 17:35 50s
code: Initial implementation of the state machine, vote keeper and driver Rust #89: Pull request #1 synchronize by romac
October 25, 2023 17:29 35s romac/rust-state-machine
romac/rust-state-machine
October 25, 2023 17:29 35s
code: Events and SM improvements Rust #88: Pull request #19 opened by romac
October 25, 2023 17:17 30s retreat/ci-week
retreat/ci-week
October 25, 2023 17:17 30s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #87: Pull request #18 synchronize by romac
October 25, 2023 17:14 33s romac/itf
romac/itf
October 25, 2023 17:14 33s
executor: Sign votes and verify votes signatures Rust #86: Pull request #16 synchronize by romac
October 25, 2023 17:14 33s romac/signed-vote
romac/signed-vote
October 25, 2023 17:14 33s
Use different types for the executors inputs and outputs Rust #85: Pull request #17 synchronize by romac
October 25, 2023 17:13 33s romac/executor-output
romac/executor-output
October 25, 2023 17:13 33s
code: Initial implementation of the state machine, vote keeper and driver Rust #84: Pull request #1 synchronize by romac
October 25, 2023 17:13 31s romac/rust-state-machine
romac/rust-state-machine
October 25, 2023 17:13 31s
Use different types for the executors inputs and outputs Rust #83: Pull request #17 synchronize by romac
October 25, 2023 17:12 38s romac/executor-output
romac/executor-output
October 25, 2023 17:12 38s
executor: Sign votes and verify votes signatures Rust #82: Pull request #16 synchronize by romac
October 25, 2023 17:12 34s romac/signed-vote
romac/signed-vote
October 25, 2023 17:12 34s
code: Initial implementation of the state machine, vote keeper and driver Rust #81: Pull request #1 synchronize by romac
October 25, 2023 15:44 34s romac/rust-state-machine
romac/rust-state-machine
October 25, 2023 15:44 34s
code: Initial implementation of the state machine, vote keeper and driver Rust #80: Pull request #1 synchronize by romac
October 25, 2023 15:41 1s romac/rust-state-machine
romac/rust-state-machine
October 25, 2023 15:41 1s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #79: Pull request #18 synchronize by romac
October 25, 2023 15:13 39s romac/itf
romac/itf
October 25, 2023 15:13 39s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #78: Pull request #18 opened by romac
October 25, 2023 15:11 1m 22s romac/itf
romac/itf
October 25, 2023 15:11 1m 22s