Skip to content

Actions: informalsystems/malachite

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
482 workflow run results
482 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add some TODOs
Rust #432: Commit a0ebc14 pushed by romac
December 13, 2023 09:37 2m 11s main
December 13, 2023 09:37 2m 11s
spec: Refactor consensus and driver modules using sum types
Rust #431: Pull request #116 synchronize by hvanz
December 13, 2023 08:31 2m 28s hvanz/consensus-sum-types
December 13, 2023 08:31 2m 28s
spec: Refactor consensus and driver modules using sum types
Rust #430: Pull request #116 synchronize by hvanz
December 12, 2023 22:52 2m 42s hvanz/consensus-sum-types
December 12, 2023 22:52 2m 42s
spec: Add multiplexing of events on step change (#104)
Rust #429: Commit 3005a28 pushed by romac
December 12, 2023 15:53 3m 3s main
December 12, 2023 15:53 3m 3s
spec: adding step change
Rust #428: Pull request #104 synchronize by josef-widder
December 12, 2023 12:52 2m 11s josef/addStepInput
December 12, 2023 12:52 2m 11s
spec: adding step change
Rust #427: Pull request #104 synchronize by josef-widder
December 12, 2023 12:46 2m 39s josef/addStepInput
December 12, 2023 12:46 2m 39s
spec: adding step change
Rust #426: Pull request #104 synchronize by josef-widder
December 12, 2023 11:56 2m 55s josef/addStepInput
December 12, 2023 11:56 2m 55s
spec: adding step change
Rust #425: Pull request #104 synchronize by josef-widder
December 12, 2023 11:30 2m 23s josef/addStepInput
December 12, 2023 11:30 2m 23s
spec: Refactor consensus and driver modules using sum types
Rust #423: Pull request #116 synchronize by hvanz
December 11, 2023 20:35 2m 50s hvanz/consensus-sum-types
December 11, 2023 20:35 2m 50s
spec: Refactor consensus and driver modules using sum types
Rust #422: Pull request #116 synchronize by hvanz
December 11, 2023 20:18 2m 42s hvanz/consensus-sum-types
December 11, 2023 20:18 2m 42s
spec: Refactor consensus and driver modules using sum types
Rust #421: Pull request #116 synchronize by hvanz
December 11, 2023 16:59 2m 42s hvanz/consensus-sum-types
December 11, 2023 16:59 2m 42s
code: Document all items in the main crates (#118)
Rust #420: Commit 265d3fe pushed by romac
December 11, 2023 16:09 2m 10s main
December 11, 2023 16:09 2m 10s
code: Document all items in the main crates
Rust #419: Pull request #118 opened by romac
December 11, 2023 15:51 2m 41s romac/doc-comments
December 11, 2023 15:51 2m 41s
spec: Refactor consensus and driver modules using sum types
Rust #418: Pull request #116 synchronize by hvanz
December 11, 2023 15:48 2m 36s hvanz/consensus-sum-types
December 11, 2023 15:48 2m 36s
spec: Refactor consensus and driver modules using sum types
Rust #417: Pull request #116 synchronize by hvanz
December 11, 2023 11:12 2m 12s hvanz/consensus-sum-types
December 11, 2023 11:12 2m 12s
spec: Refactor consensus and driver modules using sum types
Rust #416: Pull request #116 synchronize by hvanz
December 11, 2023 09:08 2m 16s hvanz/consensus-sum-types
December 11, 2023 09:08 2m 16s
Replace Option<Value> with bespoke NilOrVal<Value> type to better…
Rust #415: Commit 99e285c pushed by romac
December 8, 2023 14:42 2m 20s main
December 8, 2023 14:42 2m 20s
Replace Option<Value> with NilOrVal<Value> for clarity (#114)
Rust #414: Commit b78ac1a pushed by romac
December 8, 2023 14:41 2m 45s main
December 8, 2023 14:41 2m 45s
spec: Refactor consensus and driver modules using sum types
Rust #413: Pull request #116 synchronize by hvanz
December 8, 2023 13:09 6m 40s hvanz/consensus-sum-types
December 8, 2023 13:09 6m 40s
code: Address some TODOs
Rust #412: Commit a6afbb9 pushed by romac
December 8, 2023 12:28 3m 4s main
December 8, 2023 12:28 3m 4s
spec: Refactor consensus and driver modules using sum types
Rust #411: Pull request #116 synchronize by hvanz
December 8, 2023 12:27 2m 41s hvanz/consensus-sum-types
December 8, 2023 12:27 2m 41s
code: Replace Option<Value> with bespoke type to better express intent
Rust #410: Pull request #114 synchronize by romac
December 8, 2023 11:22 3m 4s romac/value-or-nil
December 8, 2023 11:22 3m 4s
spec: Refactor votekeeper using Quint sum types (#76)
Rust #409: Commit db5f756 pushed by romac
December 8, 2023 11:17 2m 11s main
December 8, 2023 11:17 2m 11s
spec: Refactor votekeeper using quint's new sum types
Rust #408: Pull request #76 synchronize by romac
December 8, 2023 11:06 2m 22s hvanz/votekeeper-sum-types
December 8, 2023 11:06 2m 22s