Skip to content

Actions: informalsystems/malachite

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
372 workflow run results
372 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
docs: Add ADR for overall architecture, APIs, dependencies Coverage #155: Pull request #32 synchronize by ancazamfir
November 9, 2023 23:36 49s anca/adr-overall-architecture
anca/adr-overall-architecture
November 9, 2023 23:36 49s
feat(driver): Use an async Client Coverage #154: Pull request #56 opened by romac
November 9, 2023 14:55 1m 7s async-client
async-client
November 9, 2023 14:55 1m 7s
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(driver): Add interface for selecting proposer each round Coverage #153: Pull request #55 opened by romac
November 9, 2023 14:55 55s proposer-selection
proposer-selection
November 9, 2023 14:55 55s
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
feat(tendermint): Instantiate Context for Tendermint types Coverage #152: Pull request #54 opened by romac
November 8, 2023 15:24 1m 33s romac/tendermint
romac/tendermint
November 8, 2023 15:24 1m 33s
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
test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Coverage #151: Pull request #18 synchronize by romac
November 8, 2023 07:43 1m 11s romac/itf
romac/itf
November 8, 2023 07:43 1m 11s
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
Add expected round to test steps (#53) Coverage #150: Commit c236fad pushed by romac
November 8, 2023 07:36 53s main
main
November 8, 2023 07:36 53s
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
code: Initial implementation of the state machine, vote keeper and driver Coverage #149: Pull request #1 synchronize by romac
November 8, 2023 07:20 1m 2s romac/rust-state-machine
romac/rust-state-machine
November 8, 2023 07:20 1m 2s
Add expected round to test steps Rust #145: Pull request #53 opened by romac
November 7, 2023 16:23 55s romac/expected-round
romac/expected-round
November 7, 2023 16:23 55s
Add expected round to test steps Coverage #148: Pull request #53 opened by romac
November 7, 2023 16:23 1m 3s romac/expected-round
romac/expected-round
November 7, 2023 16:23 1m 3s
code: Initial implementation of the state machine, vote keeper and driver Rust #144: Pull request #1 synchronize by romac
November 7, 2023 16:12 45s romac/rust-state-machine
romac/rust-state-machine
November 7, 2023 16:12 45s
code: Initial implementation of the state machine, vote keeper and driver Coverage #147: Pull request #1 synchronize by romac
November 7, 2023 16:12 1m 6s romac/rust-state-machine
romac/rust-state-machine
November 7, 2023 16:12 1m 6s
Add codepath and test for invalid proposal Rust #143: Pull request #52 synchronize by romac
November 7, 2023 15:59 47s romac/invalid-proposal
romac/invalid-proposal
November 7, 2023 15:59 47s
Add codepath and test for invalid proposal Coverage #146: Pull request #52 synchronize by romac
November 7, 2023 15:59 1m 7s romac/invalid-proposal
romac/invalid-proposal
November 7, 2023 15:59 1m 7s
code: Initial implementation of the state machine, vote keeper and driver Rust #142: Pull request #1 synchronize by romac
November 7, 2023 15:52 54s romac/rust-state-machine
romac/rust-state-machine
November 7, 2023 15:52 54s
code: Initial implementation of the state machine, vote keeper and driver Coverage #145: Pull request #1 synchronize by romac
November 7, 2023 15:52 1m 7s romac/rust-state-machine
romac/rust-state-machine
November 7, 2023 15:52 1m 7s
Add codepath and test for invalid proposal Rust #141: Pull request #52 opened by romac
November 7, 2023 15:52 43s romac/invalid-proposal
romac/invalid-proposal
November 7, 2023 15:52 43s
Add codepath and test for invalid proposal Coverage #144: Pull request #52 opened by romac
November 7, 2023 15:52 54s romac/invalid-proposal
romac/invalid-proposal
November 7, 2023 15:52 54s
Rename Executor to Driver Rust #140: Pull request #50 synchronize by romac
November 7, 2023 15:28 35s romac/driver
romac/driver
November 7, 2023 15:28 35s