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: Add multiplexer (#106) Coverage #410: Commit ccdbe8a pushed by romac
December 8, 2023 10:53 2m 33s main
main
December 8, 2023 10:53 2m 33s
code: Add multiplexer Coverage #409: Pull request #106 synchronize by romac
December 8, 2023 10:39 2m 3s romac/mixer
romac/mixer
December 8, 2023 10:39 2m 3s
code: Add multiplexer Coverage #408: Pull request #106 synchronize by ancazamfir
December 8, 2023 10:22 2m 1s romac/mixer
romac/mixer
December 8, 2023 10:22 2m 1s
spec: Refactor votekeeper using quint's new sum types Coverage #407: Pull request #76 synchronize by hvanz
December 8, 2023 10:19 3m 10s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 8, 2023 10:19 3m 10s
code: Replace Option<Value> with bespoke type to better express intent Coverage #406: Pull request #114 opened by romac
December 8, 2023 09:45 2m 33s romac/value-or-nil
romac/value-or-nil
December 8, 2023 09:45 2m 33s
spec: Refactor votekeeper using quint's new sum types Coverage #405: Pull request #76 synchronize by hvanz
December 8, 2023 09:03 3m 13s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 8, 2023 09:03 3m 13s
spec: Refactor votekeeper using quint's new sum types Coverage #404: Pull request #76 synchronize by romac
December 8, 2023 08:41 2m 19s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 8, 2023 08:41 2m 19s
code: Add multiplexer Coverage #403: Pull request #106 synchronize by romac
December 8, 2023 08:31 3m 40s romac/mixer
romac/mixer
December 8, 2023 08:31 3m 40s
spec: Refactor votekeeper using quint's new sum types Coverage #402: Pull request #76 synchronize by hvanz
December 7, 2023 22:26 2m 40s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 22:26 2m 40s
spec: Refactor votekeeper using quint's new sum types Coverage #401: Pull request #76 synchronize by hvanz
December 7, 2023 22:05 2m 20s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 22:05 2m 20s
spec: Refactor votekeeper using quint's new sum types Coverage #400: Pull request #76 synchronize by hvanz
December 7, 2023 21:37 2m 47s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 21:37 2m 47s
spec: Refactor votekeeper using quint's new sum types Coverage #399: Pull request #76 synchronize by hvanz
December 7, 2023 20:34 2m 26s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
December 7, 2023 20:34 2m 26s
code: Only store a single proposal in the driver Coverage #398: Pull request #107 synchronize by romac
December 7, 2023 16:54 2m 24s romac/mixer-single-proposal
romac/mixer-single-proposal
December 7, 2023 16:54 2m 24s
code: Only store a single proposal in the driver Coverage #397: Pull request #107 synchronize by romac
December 7, 2023 16:54 2m 32s romac/mixer-single-proposal
romac/mixer-single-proposal
December 7, 2023 16:54 2m 32s
code: Add multiplexer Coverage #396: Pull request #106 synchronize by romac
December 7, 2023 16:53 2m 31s romac/mixer
romac/mixer
December 7, 2023 16:53 2m 31s
Dont fail the coverage job if it fails to upload the report to Codecov Coverage #395: Commit 759dfda pushed by romac
December 7, 2023 16:53 1m 58s main
main
December 7, 2023 16:53 1m 58s
code: Turn multiplex_ functions into methods of the Driver Coverage #394: Pull request #113 opened by romac
December 7, 2023 16:47 1m 54s romac/mixer-driver-methods
romac/mixer-driver-methods
December 7, 2023 16:47 1m 54s
code: Only store a single proposal in the driver Coverage #393: Pull request #107 synchronize by romac
December 7, 2023 16:39 2m 27s romac/mixer-single-proposal
romac/mixer-single-proposal
December 7, 2023 16:39 2m 27s
feat(code): Add logging Coverage #392: Pull request #112 opened by romac
December 7, 2023 16:33 2m 37s romac/tracing
romac/tracing
December 7, 2023 16:33 2m 37s
code: Add multiplexer Coverage #391: Pull request #106 synchronize by romac
December 7, 2023 16:31 2m 22s romac/mixer
romac/mixer
December 7, 2023 16:31 2m 22s
test(mbt): Use itf native support for sum types Coverage #390: Pull request #111 opened by romac
December 7, 2023 16:06 2m 45s romac/votekeeper-sum-types
romac/votekeeper-sum-types
December 7, 2023 16:06 2m 45s
code: Multiplexer refactoring Coverage #389: Pull request #110 synchronize by romac
December 7, 2023 14:29 2m 6s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 14:29 2m 6s
code: Multiplexer refactoring Coverage #388: Pull request #110 synchronize by romac
December 7, 2023 14:07 2m 8s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 14:07 2m 8s
code: Multiplexer refactoring Coverage #387: Pull request #110 synchronize by romac
December 7, 2023 14:03 1m 57s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 14:03 1m 57s
code: Multiplexer refactoring Coverage #386: Pull request #110 synchronize by romac
December 7, 2023 14:03 2m 1s romac/mixer-reorg
romac/mixer-reorg
December 7, 2023 14:03 2m 1s