Skip to content

Actions: informalsystems/malachite

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: Deserialize ITF traces emitted by consensus and vote keeper Quint specs Coverage #168: Pull request #18 synchronize by romac
November 10, 2023 12:45 1m 2s romac/itf
romac/itf
November 10, 2023 12:45 1m 2s
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
feat: enable no_std compatibility everywhere Coverage #167: Commit b4443e2 pushed by romac
November 10, 2023 12:12 1m 24s main
main
November 10, 2023 12:12 1m 24s
Use an async Client (#56) Coverage #166: Commit 1ec7a94 pushed by romac
November 10, 2023 10:53 1m 2s main
main
November 10, 2023 10:53 1m 2s
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 Coverage #165: Pull request #56 synchronize by romac
November 10, 2023 10:41 56s async-client
async-client
November 10, 2023 10:41 56s
feat(driver): Use an async Client Coverage #164: Pull request #56 synchronize by romac
November 10, 2023 10:30 53s async-client
async-client
November 10, 2023 10:30 53s
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
Add interface for selecting proposer each round (#55) Coverage #163: Commit 19b65d3 pushed by romac
November 10, 2023 10:27 52s main
main
November 10, 2023 10:27 52s
feat(driver): Use an async Client Coverage #162: Pull request #56 synchronize by romac
November 10, 2023 10:27 57s async-client
async-client
November 10, 2023 10:27 57s
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 Coverage #161: Pull request #55 synchronize by romac
November 10, 2023 10:25 51s proposer-selection
proposer-selection
November 10, 2023 10:25 51s
feat(driver): Add interface for selecting proposer each round Coverage #160: Pull request #55 synchronize by romac
November 10, 2023 10:23 56s proposer-selection
proposer-selection
November 10, 2023 10:23 56s
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… Coverage #159: Commit fad0d1f pushed by romac
November 10, 2023 10:19 1m 2s main
main
November 10, 2023 10:19 1m 2s
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 Coverage #158: Pull request #59 synchronize by romac
November 10, 2023 10:17 1m 4s ctx-object
ctx-object
November 10, 2023 10:17 1m 4s
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 Coverage #157: Pull request #59 synchronize by romac
November 10, 2023 10:11 1m 2s ctx-object
ctx-object
November 10, 2023 10:11 1m 2s
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
feat(common, driver): Improve Context definition for better separation of concerns Coverage #156: Pull request #59 opened by romac
November 10, 2023 09:58 51s ctx-object
ctx-object
November 10, 2023 09:58 51s
ProTip! You can narrow down the results and go further in time using created:<2023-11-10 or the other filters available.