Skip to content

Actions: informalsystems/malachite

Actions

MBT

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mbt.yml
2,330 workflow runs
2,330 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

code: Multiplexer refactoring MBT #105: Pull request #110 synchronize by romac
December 7, 2023 14:07 2m 19s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 14:07 2m 19s
code: Multiplexer refactoring MBT #104: Pull request #110 synchronize by romac
December 7, 2023 14:03 2m 16s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 14:03 2m 16s
code: Multiplexer refactoring MBT #103: Pull request #110 synchronize by romac
December 7, 2023 14:03 1m 38s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 14:03 1m 38s
spec: Refactor votekeeper using quint's new sum types MBT #102: Pull request #76 synchronize by hvanz
December 7, 2023 13:59 3m 1s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 13:59 3m 1s
code: Multiplexer refactoring MBT #101: Pull request #110 synchronize by romac
December 7, 2023 13:56 2m 24s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 13:56 2m 24s
code: Multiplexer refactoring MBT #100: Pull request #110 synchronize by romac
December 7, 2023 13:50 2m 41s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 13:50 2m 41s
code: Multiplexer refactoring MBT #99: Pull request #110 synchronize by romac
December 7, 2023 13:48 2m 20s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 13:48 2m 20s
code: Multiplexer refactoring MBT #98: Pull request #110 opened by romac
December 7, 2023 13:47 1m 45s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 13:47 1m 45s
spec: Refactor votekeeper using quint's new sum types MBT #97: Pull request #76 synchronize by hvanz
December 7, 2023 11:46 3m 7s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 11:46 3m 7s
spec: Refactor votekeeper using quint's new sum types MBT #96: Pull request #76 synchronize by hvanz
December 7, 2023 11:23 2m 42s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 11:23 2m 42s
code: Only store a single proposal in the driver MBT #95: Pull request #107 synchronize by romac
December 7, 2023 09:59 2m 11s romac/mixer-single-proposal
romac/mixer-single-proposal
December 7, 2023 09:59 2m 11s
code: Only store a single proposal in the driver MBT #94: Pull request #107 synchronize by romac
December 7, 2023 09:59 1m 38s romac/mixer-single-proposal
romac/mixer-single-proposal
December 7, 2023 09:59 1m 38s
code: Add multiplexer MBT #93: Pull request #106 synchronize by romac
December 7, 2023 09:25 1m 48s romac/mixer
romac/mixer
December 7, 2023 09:25 1m 48s
code: Only store a single proposal in the driver MBT #92: Pull request #107 synchronize by romac
December 7, 2023 09:23 1m 2s romac/mixer-single-proposal
romac/mixer-single-proposal
December 7, 2023 09:23 1m 2s
code: Add multiplexer MBT #91: Pull request #106 synchronize by romac
December 7, 2023 09:15 1m 49s romac/mixer
romac/mixer
December 7, 2023 09:15 1m 49s
spec: adding step change MBT #90: Pull request #104 synchronize by josef-widder
December 7, 2023 08:59 2m 4s josef/addStepInput
josef/addStepInput
December 7, 2023 08:59 2m 4s
code: Add multiplexer MBT #89: Pull request #106 synchronize by romac
December 6, 2023 22:14 1m 55s romac/mixer
romac/mixer
December 6, 2023 22:14 1m 55s
docs: Add ADR for overall architecture, APIs, dependencies MBT #88: Pull request #32 synchronize by ancazamfir
December 6, 2023 16:44 2m 30s anca/adr-overall-architecture
anca/adr-overall-architecture
December 6, 2023 16:44 2m 30s
docs: Add ADR for overall architecture, APIs, dependencies MBT #87: Pull request #32 synchronize by ancazamfir
December 6, 2023 16:35 2m 20s anca/adr-overall-architecture
anca/adr-overall-architecture
December 6, 2023 16:35 2m 20s
docs: Add ADR for overall architecture, APIs, dependencies MBT #86: Pull request #32 synchronize by ancazamfir
December 6, 2023 16:34 1m 56s anca/adr-overall-architecture
anca/adr-overall-architecture
December 6, 2023 16:34 1m 56s
Exclude manual impls from coverage MBT #85: Commit b8e0f9c pushed by romac
December 6, 2023 16:20 2m 1s main
main
December 6, 2023 16:20 2m 1s
code: Only store a single proposal in the driver MBT #84: Pull request #107 synchronize by romac
December 6, 2023 15:43 3m 35s romac/mixer-single-proposal
romac/mixer-single-proposal
December 6, 2023 15:43 3m 35s
code(#106): Process pending inputs automatically after processing an input MBT #83: Pull request #108 synchronize by romac
December 6, 2023 15:42 2m 10s romac/mixer-process-pending-auto
romac/mixer-process-pending-auto
December 6, 2023 15:42 2m 10s
spec: Refactor votekeeper using quint's new sum types MBT #82: Pull request #76 synchronize by hvanz
December 6, 2023 15:40 2m 17s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 6, 2023 15:40 2m 17s
code: Only store a single proposal in the driver MBT #81: Pull request #107 synchronize by romac
December 6, 2023 15:40 3m 7s romac/mixer-single-proposal
romac/mixer-single-proposal
December 6, 2023 15:40 3m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-12-06 or the other filters available.