Skip to content

Actions: informalsystems/malachite

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
570 workflow run results
570 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
December 7, 2023 16:53 1m 48s
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
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
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
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
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
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
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
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
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
December 7, 2023 13:59 3m 6s
code: Multiplexer refactoring
Rust #382: Pull request #110 synchronize by romac
December 7, 2023 13:56 1m 49s romac/mixer-reorg
December 7, 2023 13:56 1m 49s
code: Multiplexer refactoring
Rust #381: Pull request #110 synchronize by romac
December 7, 2023 13:50 1m 40s romac/mixer-reorg
December 7, 2023 13:50 1m 40s
code: Multiplexer refactoring
Rust #380: Pull request #110 synchronize by romac
December 7, 2023 13:48 2m 39s romac/mixer-reorg
December 7, 2023 13:48 2m 39s
code: Multiplexer refactoring
Rust #379: Pull request #110 opened by romac
December 7, 2023 13:47 1m 50s romac/mixer-reorg
December 7, 2023 13:47 1m 50s
spec: Refactor votekeeper using quint's new sum types
Rust #378: Pull request #76 synchronize by hvanz
December 7, 2023 11:46 2m 24s hvanz/votekeeper-sum-types
December 7, 2023 11:46 2m 24s
spec: Refactor votekeeper using quint's new sum types
Rust #377: Pull request #76 synchronize by hvanz
December 7, 2023 11:23 2m 53s hvanz/votekeeper-sum-types
December 7, 2023 11:23 2m 53s
code: Only store a single proposal in the driver
Rust #376: Pull request #107 synchronize by romac
December 7, 2023 09:59 2m 26s romac/mixer-single-proposal
December 7, 2023 09:59 2m 26s
code: Only store a single proposal in the driver
Rust #375: Pull request #107 synchronize by romac
December 7, 2023 09:59 1m 48s romac/mixer-single-proposal
December 7, 2023 09:59 1m 48s
code: Add multiplexer
Rust #374: Pull request #106 synchronize by romac
December 7, 2023 09:25 2m 32s romac/mixer
December 7, 2023 09:25 2m 32s
code: Only store a single proposal in the driver
Rust #373: Pull request #107 synchronize by romac
December 7, 2023 09:23 1m 1s romac/mixer-single-proposal
December 7, 2023 09:23 1m 1s
code: Add multiplexer
Rust #372: Pull request #106 synchronize by romac
December 7, 2023 09:15 2m 20s romac/mixer
December 7, 2023 09:15 2m 20s
spec: adding step change
Rust #371: Pull request #104 synchronize by josef-widder
December 7, 2023 08:59 2m 15s josef/addStepInput
December 7, 2023 08:59 2m 15s