Skip to content

Actions: informalsystems/malachite

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
152 workflow run results
152 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(driver): Use an async Client
Rust #151: Pull request #56 opened by romac
November 9, 2023 14:55 58s async-client
November 9, 2023 14:55 58s
feat(tendermint): Instantiate Context for Tendermint types
Rust #149: Pull request #54 opened by romac
November 8, 2023 15:24 1m 5s 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
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
November 8, 2023 07:36 47s
Add expected round to test steps
Rust #145: Pull request #53 opened by romac
November 7, 2023 16:23 55s romac/expected-round
November 7, 2023 16:23 55s
Add codepath and test for invalid proposal
Rust #143: Pull request #52 synchronize by romac
November 7, 2023 15:59 47s romac/invalid-proposal
November 7, 2023 15:59 47s
Add codepath and test for invalid proposal
Rust #141: Pull request #52 opened by romac
November 7, 2023 15:52 43s romac/invalid-proposal
November 7, 2023 15:52 43s
Rename Executor to Driver
Rust #140: Pull request #50 synchronize by romac
November 7, 2023 15:28 35s romac/driver
November 7, 2023 15:28 35s
Rename Executor to Driver
Rust #138: Pull request #50 opened by romac
November 7, 2023 14:18 1m 4s romac/driver
November 7, 2023 14:18 1m 4s
Add Client for getting a value and validate a proposal
Rust #135: Pull request #43 synchronize by romac
November 7, 2023 12:26 47s romac/get-value
November 7, 2023 12:26 47s
vote: Complete vote keeper
Rust #133: Pull request #39 synchronize by romac
November 7, 2023 11:07 44s romac/complete-vote-keeper
November 7, 2023 11:07 44s
code: Events and SM improvements
Rust #131: Pull request #19 synchronize by romac
November 7, 2023 09:36 38s retreat/ci-week
November 7, 2023 09:36 38s
code: Events and SM improvements
Rust #130: Pull request #19 synchronize by ancazamfir
November 4, 2023 00:39 54s retreat/ci-week
November 4, 2023 00:39 54s
code: Events and SM improvements
Rust #129: Pull request #19 synchronize by ancazamfir
November 4, 2023 00:19 58s retreat/ci-week
November 4, 2023 00:19 58s
code: Events and SM improvements
Rust #128: Pull request #19 synchronize by ancazamfir
November 4, 2023 00:11 56s retreat/ci-week
November 4, 2023 00:11 56s