Skip to content

Actions: informalsystems/malachite

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
485 workflow run results
485 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

code: Only store a single proposal in the driver Coverage #360: Pull request #107 opened by romac
December 6, 2023 15:10 1m 15s romac/mixer-single-proposal
romac/mixer-single-proposal
December 6, 2023 15:10 1m 15s
code: Add multiplexer Coverage #359: Pull request #106 synchronize by romac
December 6, 2023 15:03 2m 2s romac/mixer
romac/mixer
December 6, 2023 15:03 2m 2s
code: Add multiplexer Coverage #358: Pull request #106 opened by romac
December 6, 2023 14:49 2m 1s romac/mixer
romac/mixer
December 6, 2023 14:49 2m 1s
test: Add tests (all failing) for polka occuring in propose step Coverage #357: Pull request #105 synchronize by romac
December 6, 2023 14:25 2m 8s anca/mixer-tests
anca/mixer-tests
December 6, 2023 14:25 2m 8s
Manually derive impls on round Input to avoid inferred bounds on Ctx Coverage #356: Commit 20b4ef3 pushed by romac
December 6, 2023 14:24 2m 7s main
main
December 6, 2023 14:24 2m 7s
spec: adding step change Coverage #355: Pull request #104 synchronize by josef-widder
December 6, 2023 11:59 2m 8s josef/addStepInput
josef/addStepInput
December 6, 2023 11:59 2m 8s
test: Add tests (all failing) for polka occuring in propose step Coverage #354: Pull request #105 synchronize by romac
December 6, 2023 11:47 2m 41s anca/mixer-tests
anca/mixer-tests
December 6, 2023 11:47 2m 41s
test: Add tests (all failing) for polka occuring in propose step Coverage #353: Pull request #105 synchronize by romac
December 6, 2023 11:35 1m 54s anca/mixer-tests
anca/mixer-tests
December 6, 2023 11:35 1m 54s
feat: Store all received proposals (#91) Coverage #352: Commit 5ee3079 pushed by romac
December 6, 2023 11:35 2m 17s main
main
December 6, 2023 11:35 2m 17s
feat: Store all received proposals Coverage #351: Pull request #91 synchronize by romac
December 6, 2023 11:32 2m 1s romac/driver-proposals
romac/driver-proposals
December 6, 2023 11:32 2m 1s
test: Add tests (all failing) for polka occuring in propose step Coverage #350: Pull request #105 opened by romac
December 6, 2023 11:28 2m 5s anca/mixer-tests
anca/mixer-tests
December 6, 2023 11:28 2m 5s
Add some tests related to driver proposals storage Coverage #349: Pull request #100 synchronize by romac
December 6, 2023 11:26 2m 4s anca/driver-proposals-tests
anca/driver-proposals-tests
December 6, 2023 11:26 2m 4s
spec: adding step change Coverage #348: Pull request #104 opened by josef-widder
December 6, 2023 11:08 1m 59s josef/addStepInput
josef/addStepInput
December 6, 2023 11:08 1m 59s
test(spec): A problematic run Coverage #347: Pull request #101 synchronize by josef-widder
December 6, 2023 10:04 1m 52s josef/i95-testcases
josef/i95-testcases
December 6, 2023 10:04 1m 52s
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
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
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
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
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
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
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
josef/i95-testcases
December 4, 2023 18:06 2m 36s
Add some tests related to driver proposals storage Coverage #339: Pull request #100 opened by ancazamfir
December 4, 2023 16:25 2m 28s anca/driver-proposals-tests
anca/driver-proposals-tests
December 4, 2023 16:25 2m 28s
code: Round state machine cleanup Coverage #338: Pull request #99 opened by romac
December 4, 2023 14:31 1m 55s romac/round-review
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
romac/driver-proposals
December 4, 2023 09:23 2m 15s
code: Change driver interface to be channel-based, add internal pending events queue Coverage #336: Pull request #98 opened by romac
December 1, 2023 15:57 2m 22s romac/mux-inputs
romac/mux-inputs
December 1, 2023 15:57 2m 22s