Skip to content

Actions: informalsystems/malachite

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
482 workflow run results
482 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

code: Add multiplexer (#106) Rust #407: Commit ccdbe8a pushed by romac
December 8, 2023 10:53 1m 52s main
main
December 8, 2023 10:53 1m 52s
code: Add multiplexer Rust #406: Pull request #106 synchronize by romac
December 8, 2023 10:39 2m 7s romac/mixer
romac/mixer
December 8, 2023 10:39 2m 7s
code: Add multiplexer Rust #405: Pull request #106 synchronize by ancazamfir
December 8, 2023 10:22 1m 49s romac/mixer
romac/mixer
December 8, 2023 10:22 1m 49s
spec: Refactor votekeeper using quint's new sum types Rust #404: Pull request #76 synchronize by hvanz
December 8, 2023 10:19 2m 56s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 8, 2023 10:19 2m 56s
code: Replace Option<Value> with bespoke type to better express intent Rust #403: Pull request #114 opened by romac
December 8, 2023 09:45 1m 48s romac/value-or-nil
romac/value-or-nil
December 8, 2023 09:45 1m 48s
spec: Refactor votekeeper using quint's new sum types Rust #402: Pull request #76 synchronize by hvanz
December 8, 2023 09:03 2m 19s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 8, 2023 09:03 2m 19s
spec: Refactor votekeeper using quint's new sum types Rust #401: Pull request #76 synchronize by romac
December 8, 2023 08:41 2m 19s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 8, 2023 08:41 2m 19s
code: Add multiplexer Rust #400: Pull request #106 synchronize by romac
December 8, 2023 08:31 1m 51s romac/mixer
romac/mixer
December 8, 2023 08:31 1m 51s
spec: Refactor votekeeper using quint's new sum types Rust #399: Pull request #76 synchronize by hvanz
December 7, 2023 22:26 2m 12s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 22:26 2m 12s
spec: Refactor votekeeper using quint's new sum types Rust #398: Pull request #76 synchronize by hvanz
December 7, 2023 22:05 2m 16s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 22:05 2m 16s
spec: Refactor votekeeper using quint's new sum types Rust #397: Pull request #76 synchronize by hvanz
December 7, 2023 21:37 2m 14s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 21:37 2m 14s
spec: Refactor votekeeper using quint's new sum types Rust #396: Pull request #76 synchronize by hvanz
December 7, 2023 20:34 2m 22s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 20:34 2m 22s
code: Only store a single proposal in the driver Rust #395: Pull request #107 synchronize by romac
December 7, 2023 16:54 1m 51s romac/mixer-single-proposal
romac/mixer-single-proposal
December 7, 2023 16:54 1m 51s
code: Only store a single proposal in the driver Rust #394: Pull request #107 synchronize by romac
December 7, 2023 16:54 2m 21s romac/mixer-single-proposal
romac/mixer-single-proposal
December 7, 2023 16:54 2m 21s
code: Add multiplexer Rust #393: Pull request #106 synchronize by romac
December 7, 2023 16:53 1m 48s romac/mixer
romac/mixer
December 7, 2023 16:53 1m 48s
code: Turn multiplex_ functions into methods of the Driver Rust #392: Pull request #113 opened by romac
December 7, 2023 16:47 1m 56s romac/mixer-driver-methods
romac/mixer-driver-methods
December 7, 2023 16:47 1m 56s
code: Only store a single proposal in the driver Rust #391: Pull request #107 synchronize by romac
December 7, 2023 16:39 2m 13s romac/mixer-single-proposal
romac/mixer-single-proposal
December 7, 2023 16:39 2m 13s
feat(code): Add logging Rust #390: Pull request #112 opened by romac
December 7, 2023 16:33 2m 54s romac/tracing
romac/tracing
December 7, 2023 16:33 2m 54s
code: Add multiplexer Rust #389: Pull request #106 synchronize by romac
December 7, 2023 16:31 1m 51s romac/mixer
romac/mixer
December 7, 2023 16:31 1m 51s
test(mbt): Use itf native support for sum types Rust #388: Pull request #111 opened by romac
December 7, 2023 16:06 3m 13s romac/votekeeper-sum-types
romac/votekeeper-sum-types
December 7, 2023 16:06 3m 13s
code: Multiplexer refactoring Rust #387: Pull request #110 synchronize by romac
December 7, 2023 14:29 2m 48s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 14:29 2m 48s
code: Multiplexer refactoring Rust #386: Pull request #110 synchronize by romac
December 7, 2023 14:07 1m 57s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 14:07 1m 57s
code: Multiplexer refactoring Rust #385: Pull request #110 synchronize by romac
December 7, 2023 14:03 2m 6s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 14:03 2m 6s
code: Multiplexer refactoring Rust #384: Pull request #110 synchronize by romac
December 7, 2023 14:03 1m 45s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 14:03 1m 45s
spec: Refactor votekeeper using quint's new sum types Rust #383: Pull request #76 synchronize by hvanz
December 7, 2023 13:59 3m 6s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 13:59 3m 6s