Skip to content

Actions: informalsystems/malachite

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
245 workflow run results
245 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename Client to Env Rust #170: Pull request #60 opened by romac
November 10, 2023 15:54 51s romac/client-to-env
romac/client-to-env
November 10, 2023 15:54 51s
docs: Add ADR for overall architecture, APIs, dependencies Rust #169: Pull request #32 synchronize by ancazamfir
November 10, 2023 14:50 49s anca/adr-overall-architecture
anca/adr-overall-architecture
November 10, 2023 14:50 49s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #168: Pull request #18 synchronize by romac
November 10, 2023 14:15 59s romac/itf
romac/itf
November 10, 2023 14:15 59s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #167: Pull request #18 synchronize by romac
November 10, 2023 13:35 58s romac/itf
romac/itf
November 10, 2023 13:35 58s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #166: Pull request #18 synchronize by romac
November 10, 2023 13:34 55s romac/itf
romac/itf
November 10, 2023 13:34 55s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #165: Pull request #18 synchronize by romac
November 10, 2023 12:45 46s romac/itf
romac/itf
November 10, 2023 12:45 46s
feat: enable no_std compatibility everywhere Rust #164: Commit b4443e2 pushed by romac
November 10, 2023 12:12 49s main
main
November 10, 2023 12:12 49s
Use an async Client (#56) Rust #163: Commit 1ec7a94 pushed by romac
November 10, 2023 10:53 55s main
main
November 10, 2023 10:53 55s
feat(driver): Use an async Client Rust #162: Pull request #56 synchronize by romac
November 10, 2023 10:41 45s async-client
async-client
November 10, 2023 10:41 45s
feat(driver): Use an async Client Rust #161: Pull request #56 synchronize by romac
November 10, 2023 10:30 1m 4s async-client
async-client
November 10, 2023 10:30 1m 4s
Add interface for selecting proposer each round (#55) Rust #160: Commit 19b65d3 pushed by romac
November 10, 2023 10:27 32s main
main
November 10, 2023 10:27 32s
feat(driver): Use an async Client Rust #159: Pull request #56 synchronize by romac
November 10, 2023 10:27 42s async-client
async-client
November 10, 2023 10:27 42s
feat(driver): Add interface for selecting proposer each round Rust #158: Pull request #55 synchronize by romac
November 10, 2023 10:25 45s proposer-selection
proposer-selection
November 10, 2023 10:25 45s
feat(driver): Add interface for selecting proposer each round Rust #157: Pull request #55 synchronize by romac
November 10, 2023 10:23 50s proposer-selection
proposer-selection
November 10, 2023 10:23 50s
feat(common, driver): Improve Context definition for better separat… Rust #156: Commit fad0d1f pushed by romac
November 10, 2023 10:19 1m 0s main
main
November 10, 2023 10:19 1m 0s
feat(common, driver): Improve Context definition for better separation of concerns Rust #155: Pull request #59 synchronize by romac
November 10, 2023 10:17 42s ctx-object
ctx-object
November 10, 2023 10:17 42s
feat(common, driver): Improve Context definition for better separation of concerns Rust #154: Pull request #59 synchronize by romac
November 10, 2023 10:11 42s ctx-object
ctx-object
November 10, 2023 10:11 42s
feat(common, driver): Improve Context definition for better separation of concerns Rust #153: Pull request #59 opened by romac
November 10, 2023 09:58 45s ctx-object
ctx-object
November 10, 2023 09:58 45s
docs: Add ADR for overall architecture, APIs, dependencies Rust #152: Pull request #32 synchronize by ancazamfir
November 9, 2023 23:36 38s anca/adr-overall-architecture
anca/adr-overall-architecture
November 9, 2023 23:36 38s
feat(driver): Use an async Client Rust #151: Pull request #56 opened by romac
November 9, 2023 14:55 58s async-client
async-client
November 9, 2023 14:55 58s
feat(driver): Add interface for selecting proposer each round Rust #150: Pull request #55 opened by romac
November 9, 2023 14:55 50s proposer-selection
proposer-selection
November 9, 2023 14:55 50s
feat(tendermint): Instantiate Context for Tendermint types Rust #149: Pull request #54 opened by romac
November 8, 2023 15:24 1m 5s romac/tendermint
romac/tendermint
November 8, 2023 15:24 1m 5s
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Rust #148: Pull request #18 synchronize by romac
November 8, 2023 07:43 1m 0s romac/itf
romac/itf
November 8, 2023 07:43 1m 0s
Add expected round to test steps (#53) Rust #147: Commit c236fad pushed by romac
November 8, 2023 07:36 47s main
main
November 8, 2023 07:36 47s
code: Initial implementation of the state machine, vote keeper and driver Rust #146: Pull request #1 synchronize by romac
November 8, 2023 07:20 57s romac/rust-state-machine
romac/rust-state-machine
November 8, 2023 07:20 57s