Skip to content

Actions: informalsystems/malachite

Actions

MBT

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Store all received proposals MBT #54: Pull request #91 synchronize by romac
December 4, 2023 09:23 2m 1s romac/driver-proposals
romac/driver-proposals
December 4, 2023 09:23 2m 1s
code: Change driver interface to be channel-based, add internal pending events queue MBT #53: Pull request #98 opened by romac
December 1, 2023 15:57 2m 7s romac/mux-inputs
romac/mux-inputs
December 1, 2023 15:57 2m 7s
Add cargo integration alias MBT #52: Commit a73929e pushed by romac
December 1, 2023 15:54 1m 52s main
main
December 1, 2023 15:54 1m 52s
Add cargo mbt alias MBT #51: Commit c3c978f pushed by romac
December 1, 2023 11:50 2m 39s main
main
December 1, 2023 11:50 2m 39s
test: Distinguish between coverage from integration and MBT tests MBT #50: Pull request #97 synchronize by romac
December 1, 2023 11:50 2m 6s romac/codecov-flags
romac/codecov-flags
December 1, 2023 11:50 2m 6s
test: Distinguish between coverage from integration and MBT tests MBT #49: Pull request #97 synchronize by romac
December 1, 2023 11:15 1m 53s romac/codecov-flags
romac/codecov-flags
December 1, 2023 11:15 1m 53s
test: Distinguish between coverage from integration and MBT tests MBT #48: Pull request #97 synchronize by romac
December 1, 2023 09:30 2m 41s romac/codecov-flags
romac/codecov-flags
December 1, 2023 09:30 2m 41s
test: Distinguish between coverage from integration and MBT tests MBT #47: Pull request #97 synchronize by romac
December 1, 2023 09:12 1m 55s romac/codecov-flags
romac/codecov-flags
December 1, 2023 09:12 1m 55s
test: Distinguish between coverage from integration and MBT tests MBT #46: Pull request #97 opened by romac
December 1, 2023 09:09 2m 6s romac/codecov-flags
romac/codecov-flags
December 1, 2023 09:09 2m 6s
spec: Overview over consensus logic covered with tests (#92) MBT #45: Commit 1074875 pushed by romac
November 30, 2023 14:09 2m 32s main
main
November 30, 2023 14:09 2m 32s
Rename VoteMessage alias to VoteKeeperOutput MBT #44: Commit a733850 pushed by romac
November 30, 2023 13:23 2m 12s main
main
November 30, 2023 13:23 2m 12s
spec: Overview over consensus logic covered with tests MBT #43: Pull request #92 synchronize by romac
November 30, 2023 11:05 2m 18s josef/testcoverage
josef/testcoverage
November 30, 2023 11:05 2m 18s
spec: Overview over consensus logic covered with tests MBT #42: Pull request #92 synchronize by romac
November 30, 2023 10:55 4m 11s josef/testcoverage
josef/testcoverage
November 30, 2023 10:55 4m 11s
spec: Renaming and cleanup (#94) MBT #41: Commit d4090cb pushed by romac
November 30, 2023 10:20 2m 40s main
main
November 30, 2023 10:20 2m 40s
spec: Renaming and cleanup MBT #40: Pull request #94 synchronize by romac
November 30, 2023 09:52 3m 37s romac/cleanup-quint
romac/cleanup-quint
November 30, 2023 09:52 3m 37s
spec: Renaming and cleanup MBT #39: Pull request #94 synchronize by romac
November 30, 2023 09:42 1m 57s romac/cleanup-quint
romac/cleanup-quint
November 30, 2023 09:42 1m 57s
spec: Overview over consensus logic covered with tests MBT #38: Pull request #92 synchronize by josef-widder
November 30, 2023 09:32 2m 16s josef/testcoverage
josef/testcoverage
November 30, 2023 09:32 2m 16s
spec: Refactor votekeeper using quint's new sum types MBT #37: Pull request #76 synchronize by hvanz
November 30, 2023 09:20 1m 39s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
November 30, 2023 09:20 1m 39s
spec: Renaming and cleanup MBT #36: Pull request #94 opened by romac
November 30, 2023 08:26 2m 43s romac/cleanup-quint
romac/cleanup-quint
November 30, 2023 08:26 2m 43s
code: Rename Event to Input and Message to Output (#93) MBT #35: Commit 4c5a1a7 pushed by romac
November 30, 2023 08:03 2m 0s main
main
November 30, 2023 08:03 2m 0s
spec: Overview over consensus logic covered with tests MBT #34: Pull request #92 synchronize by josef-widder
November 29, 2023 15:19 2m 4s josef/testcoverage
josef/testcoverage
November 29, 2023 15:19 2m 4s
spec: Overview over consensus logic covered with tests MBT #33: Pull request #92 synchronize by josef-widder
November 29, 2023 15:09 2m 29s josef/testcoverage
josef/testcoverage
November 29, 2023 15:09 2m 29s
spec: Overview over consensus logic covered with tests MBT #32: Pull request #92 synchronize by josef-widder
November 29, 2023 15:08 3m 27s josef/testcoverage
josef/testcoverage
November 29, 2023 15:08 3m 27s
spec: Overview over consensus logic covered with tests MBT #31: Pull request #92 synchronize by josef-widder
November 29, 2023 14:15 1m 53s josef/testcoverage
josef/testcoverage
November 29, 2023 14:15 1m 53s
code: Rename Event to Input and Message to Output MBT #30: Pull request #93 synchronize by romac
November 29, 2023 13:42 2m 10s romac/input-output
romac/input-output
November 29, 2023 13:42 2m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-11-29 or the other filters available.