Skip to content

Actions: informalsystems/malachite

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
482 workflow run results
482 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Refactor VoteCount Rust #77: Pull request #15 synchronize by romac
October 25, 2023 13:28 43s romac/vote-keeper-refactor
romac/vote-keeper-refactor
October 25, 2023 13:28 43s
Refactor VoteCount Rust #76: Pull request #15 synchronize by romac
October 25, 2023 13:23 32s romac/vote-keeper-refactor
romac/vote-keeper-refactor
October 25, 2023 13:23 32s
Use different types for the executors inputs and outputs Rust #75: Pull request #17 opened by romac
October 25, 2023 13:02 35s romac/executor-output
romac/executor-output
October 25, 2023 13:02 35s
executor: Sign votes and verify votes signatures Rust #74: Pull request #16 opened by romac
October 25, 2023 10:01 35s romac/signed-vote
romac/signed-vote
October 25, 2023 10:01 35s
Refactor VoteCount Rust #73: Pull request #15 opened by romac
October 25, 2023 09:09 35s romac/vote-keeper-refactor
romac/vote-keeper-refactor
October 25, 2023 09:09 35s
code: Initial implementation of the state machine, vote keeper and driver Rust #72: Pull request #1 synchronize by romac
October 25, 2023 07:22 43s romac/rust-state-machine
romac/rust-state-machine
October 25, 2023 07:22 43s
code: Count & Keeper improvements Rust #71: Pull request #14 opened by adizere
October 24, 2023 23:23 34s adi/cici
adi/cici
October 24, 2023 23:23 34s
Abstract over the various data types needed by the consensus engine Rust #70: Pull request #8 synchronize by romac
October 24, 2023 17:51 36s romac/data-generic
romac/data-generic
October 24, 2023 17:51 36s
Abstract over the various data types needed by the consensus engine Rust #69: Pull request #8 synchronize by romac
October 24, 2023 16:13 46s romac/data-generic
romac/data-generic
October 24, 2023 16:13 46s
Abstract over the various data types needed by the consensus engine Rust #68: Pull request #8 synchronize by romac
October 24, 2023 16:09 40s romac/data-generic
romac/data-generic
October 24, 2023 16:09 40s
Abstract over the various data types needed by the consensus engine Rust #67: Pull request #8 synchronize by romac
October 24, 2023 14:24 30s romac/data-generic
romac/data-generic
October 24, 2023 14:24 30s
Abstract over the various data types needed by the consensus engine Rust #66: Pull request #8 synchronize by romac
October 24, 2023 13:50 31s romac/data-generic
romac/data-generic
October 24, 2023 13:50 31s
code: Initial implementation of the state machine, vote keeper and driver Rust #65: Pull request #1 synchronize by romac
October 24, 2023 13:44 37s romac/rust-state-machine
romac/rust-state-machine
October 24, 2023 13:44 37s
Abstract over the various data types needed by the consensus engine Rust #64: Pull request #8 synchronize by romac
October 24, 2023 13:30 32s romac/data-generic
romac/data-generic
October 24, 2023 13:30 32s
Move tests and associated data types into their own crate Rust #63: Pull request #10 synchronize by romac
October 24, 2023 12:38 39s romac/test-crate
romac/test-crate
October 24, 2023 12:38 39s
Move tests and associated data types into their own crate Rust #62: Pull request #10 synchronize by romac
October 24, 2023 09:53 36s romac/test-crate
romac/test-crate
October 24, 2023 09:53 36s
Abstract over the various data types needed by the consensus engine Rust #61: Pull request #8 synchronize by romac
October 24, 2023 09:42 41s romac/data-generic
romac/data-generic
October 24, 2023 09:42 41s
Move tests and associated data types into their own crate Rust #60: Pull request #10 synchronize by romac
October 24, 2023 08:01 36s romac/test-crate
romac/test-crate
October 24, 2023 08:01 36s
Abstract over the various data types needed by the consensus engine Rust #59: Pull request #8 synchronize by romac
October 24, 2023 08:00 36s romac/data-generic
romac/data-generic
October 24, 2023 08:00 36s
Abstract over the various data types needed by the consensus engine Rust #58: Pull request #8 synchronize by romac
October 24, 2023 07:59 33s romac/data-generic
romac/data-generic
October 24, 2023 07:59 33s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.