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

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
code: Remove signing and signature verification from the driver Coverage #448: Pull request #121 synchronize by romac
December 14, 2023 10:00 2m 27s romac/move-signing
romac/move-signing
December 14, 2023 10:00 2m 27s
test(mbt): MBT for round state machine Coverage #447: Pull request #120 synchronize by hvanz
December 13, 2023 20:51 1m 13s mbt-consensus
mbt-consensus
December 13, 2023 20:51 1m 13s
fix height in fmt (#123) Coverage #446: Commit e010cb1 pushed by romac
December 13, 2023 20:40 2m 23s main
main
December 13, 2023 20:40 2m 23s
Fix round state's debug message Coverage #445: Pull request #123 opened by hvanz
December 13, 2023 19:52 2m 17s hvanz/fix-round-state-debug
hvanz/fix-round-state-debug
December 13, 2023 19:52 2m 17s
test(mbt): MBT for round state machine Coverage #444: Pull request #120 synchronize by hvanz
December 13, 2023 19:33 2m 24s mbt-consensus
mbt-consensus
December 13, 2023 19:33 2m 24s
test(mbt): MBT for round state machine Coverage #443: Pull request #120 synchronize by hvanz
December 13, 2023 16:09 2m 48s mbt-consensus
mbt-consensus
December 13, 2023 16:09 2m 48s
test(mbt): MBT for round state machine Coverage #442: Pull request #120 synchronize by hvanz
December 13, 2023 13:32 2m 51s mbt-consensus
mbt-consensus
December 13, 2023 13:32 2m 51s
test(mbt): MBT for round state machine Coverage #441: Pull request #120 synchronize by hvanz
December 13, 2023 13:06 2m 33s mbt-consensus
mbt-consensus
December 13, 2023 13:06 2m 33s
test(mbt): MBT for round state machine Coverage #440: Pull request #120 synchronize by hvanz
December 13, 2023 13:02 3m 18s mbt-consensus
mbt-consensus
December 13, 2023 13:02 3m 18s
code: Remove signing and signature verification from the driver Coverage #439: Pull request #121 opened by romac
December 13, 2023 11:22 2m 24s romac/move-signing
romac/move-signing
December 13, 2023 11:22 2m 24s
spec: Refactor consensus and driver modules using sum types Coverage #438: Pull request #116 synchronize by hvanz
December 13, 2023 11:21 2m 15s hvanz/consensus-sum-types
hvanz/consensus-sum-types
December 13, 2023 11:21 2m 15s
test(mbt): MBT for round state machine Coverage #437: Pull request #120 opened by hvanz
December 13, 2023 10:23 2m 28s mbt-consensus
mbt-consensus
December 13, 2023 10:23 2m 28s
spec: Refactor consensus and driver modules using sum types Coverage #436: Pull request #116 synchronize by hvanz
December 13, 2023 10:03 2m 19s hvanz/consensus-sum-types
hvanz/consensus-sum-types
December 13, 2023 10:03 2m 19s