Skip to content

Actions: informalsystems/malachite

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
573 workflow run results
573 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Align code with spec to start in round nil instead of zero Coverage #473: Pull request #125 opened by romac
December 18, 2023 13:55 2m 47s romac/nil-new-round
romac/nil-new-round
December 18, 2023 13:55 2m 47s
test(mbt): MBT for round state machine Coverage #472: Pull request #120 synchronize by romac
December 18, 2023 13:55 2m 49s mbt-consensus
mbt-consensus
December 18, 2023 13:55 2m 49s
docs: Add ADR for overall architecture, APIs, dependencies Coverage #471: Pull request #32 synchronize by ancazamfir
December 18, 2023 13:53 2m 42s anca/adr-overall-architecture
anca/adr-overall-architecture
December 18, 2023 13:53 2m 42s
test(mbt): MBT for round state machine Coverage #470: Pull request #120 synchronize by romac
December 18, 2023 13:52 2m 28s mbt-consensus
mbt-consensus
December 18, 2023 13:52 2m 28s
docs: Add ADR for overall architecture, APIs, dependencies Coverage #469: Pull request #32 synchronize by romac
December 18, 2023 13:16 2m 30s anca/adr-overall-architecture
anca/adr-overall-architecture
December 18, 2023 13:16 2m 30s
docs: Add ADR for overall architecture, APIs, dependencies Coverage #468: Pull request #32 synchronize by romac
December 18, 2023 11:18 2m 22s anca/adr-overall-architecture
anca/adr-overall-architecture
December 18, 2023 11:18 2m 22s
code: Remove signing and signature verification from the driver (#121) Coverage #467: Commit 5d0577f pushed by romac
December 18, 2023 10:51 2m 21s main
main
December 18, 2023 10:51 2m 21s
test(mbt): MBT for round state machine Coverage #466: Pull request #120 synchronize by hvanz
December 15, 2023 19:28 2m 50s mbt-consensus
mbt-consensus
December 15, 2023 19:28 2m 50s
test(mbt): MBT for round state machine Coverage #465: Pull request #120 synchronize by hvanz
December 15, 2023 18:44 2m 24s mbt-consensus
mbt-consensus
December 15, 2023 18:44 2m 24s
test(mbt): MBT for round state machine Coverage #464: Pull request #120 synchronize by romac
December 15, 2023 15:05 2m 30s mbt-consensus
mbt-consensus
December 15, 2023 15:05 2m 30s
test(mbt): MBT for round state machine Coverage #463: Pull request #120 synchronize by romac
December 15, 2023 14:57 3m 17s mbt-consensus
mbt-consensus
December 15, 2023 14:57 3m 17s
test(mbt): MBT for round state machine Coverage #462: Pull request #120 synchronize by romac
December 15, 2023 14:48 3m 1s mbt-consensus
mbt-consensus
December 15, 2023 14:48 3m 1s
test(mbt): MBT for round state machine Coverage #461: Pull request #120 synchronize by romac
December 15, 2023 14:16 2m 54s mbt-consensus
mbt-consensus
December 15, 2023 14:16 2m 54s
docs: Add ADR for overall architecture, APIs, dependencies Coverage #460: Pull request #32 synchronize by ancazamfir
December 15, 2023 12:59 3m 11s anca/adr-overall-architecture
anca/adr-overall-architecture
December 15, 2023 12:59 3m 11s
docs: Add ADR for overall architecture, APIs, dependencies Coverage #459: Pull request #32 synchronize by ancazamfir
December 15, 2023 10:59 2m 27s anca/adr-overall-architecture
anca/adr-overall-architecture
December 15, 2023 10:59 2m 27s
test(mbt): MBT for round state machine Coverage #458: Pull request #120 synchronize by hvanz
December 15, 2023 08:34 2m 34s mbt-consensus
mbt-consensus
December 15, 2023 08:34 2m 34s
test(mbt): MBT for round state machine Coverage #457: Pull request #120 synchronize by hvanz
December 14, 2023 23:37 2m 51s mbt-consensus
mbt-consensus
December 14, 2023 23:37 2m 51s
test(mbt): MBT for round state machine Coverage #456: Pull request #120 synchronize by hvanz
December 14, 2023 23:36 2m 25s mbt-consensus
mbt-consensus
December 14, 2023 23:36 2m 25s
test(mbt): MBT for round state machine Coverage #455: Pull request #120 synchronize by hvanz
December 14, 2023 23:30 2m 32s mbt-consensus
mbt-consensus
December 14, 2023 23:30 2m 32s
test(mbt): MBT for round state machine Coverage #454: Pull request #120 synchronize by hvanz
December 14, 2023 20:38 1m 9s mbt-consensus
mbt-consensus
December 14, 2023 20:38 1m 9s
spec: Refactor consensus and driver modules using sum types (#116) Coverage #453: Commit 32498ca pushed by hvanz
December 14, 2023 15:00 2m 38s main
main
December 14, 2023 15:00 2m 38s
spec: Refactor consensus and driver modules using sum types Coverage #452: Pull request #116 synchronize by hvanz
December 14, 2023 11:31 3m 13s hvanz/consensus-sum-types
hvanz/consensus-sum-types
December 14, 2023 11:31 3m 13s
readme for quint (#124) Coverage #451: Commit 2faed8e pushed by josef-widder
December 14, 2023 10:48 2m 26s main
main
December 14, 2023 10:48 2m 26s
readme for quint Coverage #450: Pull request #124 synchronize by josef-widder
December 14, 2023 10:39 2m 20s josef/quintreadme
josef/quintreadme
December 14, 2023 10:39 2m 20s
readme for quint Coverage #449: Pull request #124 opened by josef-widder
December 14, 2023 10:37 3m 1s josef/quintreadme
josef/quintreadme
December 14, 2023 10:37 3m 1s