Skip to content

Actions: informalsystems/malachite

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
346 workflow run results
346 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add some tests related to driver proposals storage
Coverage #346: Pull request #100 synchronize by ancazamfir
December 5, 2023 21:53 1m 58s anca/driver-proposals-tests
December 5, 2023 21:53 1m 58s
Add some tests related to driver proposals storage
Coverage #345: Pull request #100 synchronize by ancazamfir
December 5, 2023 21:14 2m 24s anca/driver-proposals-tests
December 5, 2023 21:14 2m 24s
Only enable assert in debug mode
Coverage #344: Commit f2840ab pushed by romac
December 5, 2023 16:03 2m 48s main
December 5, 2023 16:03 2m 48s
test(spec): A problematic run
Coverage #343: Pull request #101 synchronize by josef-widder
December 5, 2023 12:31 2m 21s josef/i95-testcases
December 5, 2023 12:31 2m 21s
test(mbt): MBT tests for driver
Coverage #342: Pull request #102 synchronize by romac
December 5, 2023 08:42 1m 36s romac/mbt-driver
December 5, 2023 08:42 1m 36s
test(mbt): MBT tests for driver
Coverage #341: Pull request #102 opened by romac
December 4, 2023 20:51 1m 54s romac/mbt-driver
December 4, 2023 20:51 1m 54s
test(spec): A problematic run
Coverage #340: Pull request #101 opened by josef-widder
December 4, 2023 18:06 2m 36s josef/i95-testcases
December 4, 2023 18:06 2m 36s
code: Round state machine cleanup
Coverage #338: Pull request #99 opened by romac
December 4, 2023 14:31 1m 55s romac/round-review
December 4, 2023 14:31 1m 55s
feat: Store all received proposals
Coverage #337: Pull request #91 synchronize by romac
December 4, 2023 09:23 2m 15s romac/driver-proposals
December 4, 2023 09:23 2m 15s
Add cargo integration alias
Coverage #335: Commit a73929e pushed by romac
December 1, 2023 15:54 1m 55s main
December 1, 2023 15:54 1m 55s
Add cargo mbt alias
Coverage #334: Commit c3c978f pushed by romac
December 1, 2023 11:50 1m 58s main
December 1, 2023 11:50 1m 58s
test: Distinguish between coverage from integration and MBT tests
Coverage #333: Pull request #97 synchronize by romac
December 1, 2023 11:50 2m 44s romac/codecov-flags
December 1, 2023 11:50 2m 44s
test: Distinguish between coverage from integration and MBT tests
Coverage #332: Pull request #97 synchronize by romac
December 1, 2023 11:15 2m 22s romac/codecov-flags
December 1, 2023 11:15 2m 22s
test: Distinguish between coverage from integration and MBT tests
Coverage #331: Pull request #97 synchronize by romac
December 1, 2023 09:30 2m 1s romac/codecov-flags
December 1, 2023 09:30 2m 1s
test: Distinguish between coverage from integration and MBT tests
Coverage #330: Pull request #97 synchronize by romac
December 1, 2023 09:12 2m 48s romac/codecov-flags
December 1, 2023 09:12 2m 48s
test: Distinguish between coverage from integration and MBT tests
Coverage #329: Pull request #97 opened by romac
December 1, 2023 09:09 2m 7s romac/codecov-flags
December 1, 2023 09:09 2m 7s
spec: Overview over consensus logic covered with tests (#92)
Coverage #328: Commit 1074875 pushed by romac
November 30, 2023 14:09 2m 4s main
November 30, 2023 14:09 2m 4s
Rename VoteMessage alias to VoteKeeperOutput
Coverage #327: Commit a733850 pushed by romac
November 30, 2023 13:23 2m 8s main
November 30, 2023 13:23 2m 8s
spec: Overview over consensus logic covered with tests
Coverage #326: Pull request #92 synchronize by romac
November 30, 2023 11:05 2m 5s josef/testcoverage
November 30, 2023 11:05 2m 5s
spec: Overview over consensus logic covered with tests
Coverage #325: Pull request #92 synchronize by romac
November 30, 2023 10:55 2m 57s josef/testcoverage
November 30, 2023 10:55 2m 57s
spec: Renaming and cleanup (#94)
Coverage #324: Commit d4090cb pushed by romac
November 30, 2023 10:20 2m 1s main
November 30, 2023 10:20 2m 1s
spec: Renaming and cleanup
Coverage #323: Pull request #94 synchronize by romac
November 30, 2023 09:52 2m 5s romac/cleanup-quint
November 30, 2023 09:52 2m 5s
spec: Renaming and cleanup
Coverage #322: Pull request #94 synchronize by romac
November 30, 2023 09:42 2m 17s romac/cleanup-quint
November 30, 2023 09:42 2m 17s