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

style: Rename top level folders to lowercase (#138) Coverage #498: Commit 596781b pushed by romac
January 9, 2024 19:34 1m 18s main
main
January 9, 2024 19:34 1m 18s
style: Rename top level folders to lowercase Coverage #497: Pull request #138 synchronize by romac
January 9, 2024 19:28 1m 14s anca/126_adr_todos
anca/126_adr_todos
January 9, 2024 19:28 1m 14s
chore(code): Remove unused dependency on async-trait Coverage #496: Commit 03dda99 pushed by romac
January 9, 2024 19:25 1m 31s main
main
January 9, 2024 19:25 1m 31s
style: Rename top level folders to lowercase Coverage #495: Pull request #138 synchronize by romac
January 9, 2024 19:22 1m 22s anca/126_adr_todos
anca/126_adr_todos
January 9, 2024 19:22 1m 22s
chore(spec): Re-organize Specs/Quint folder (#139) Coverage #494: Commit 90a1d8d pushed by romac
January 9, 2024 19:16 1m 17s main
main
January 9, 2024 19:16 1m 17s
chore(specs): Re-organize Specs/Quint folder Coverage #493: Pull request #139 synchronize by romac
January 9, 2024 18:55 1m 22s romac/quint-reord
romac/quint-reord
January 9, 2024 18:55 1m 22s
chore(specs): Re-organize Specs/Quint folder Coverage #492: Pull request #139 synchronize by romac
January 9, 2024 16:20 1m 37s romac/quint-reord
romac/quint-reord
January 9, 2024 16:20 1m 37s
chore(specs): Re-organize Specs/Quint folder Coverage #491: Pull request #139 synchronize by romac
January 9, 2024 16:03 1m 35s romac/quint-reord
romac/quint-reord
January 9, 2024 16:03 1m 35s
chore(specs): Re-organize Specs/Quint folder Coverage #490: Pull request #139 opened by romac
January 9, 2024 15:52 1m 30s romac/quint-reord
romac/quint-reord
January 9, 2024 15:52 1m 30s
style: Rename top level folders to lowercase Coverage #489: Pull request #138 opened by ancazamfir
January 9, 2024 13:48 1m 26s anca/126_adr_todos
anca/126_adr_todos
January 9, 2024 13:48 1m 26s
test: Fix bug in MBT test where some steps were skipped (#129) Coverage #488: Commit 3557253 pushed by romac
January 4, 2024 10:25 1m 28s main
main
January 4, 2024 10:25 1m 28s
test: Fix bug in MBT test where some steps were skipped Coverage #487: Pull request #129 synchronize by romac
January 4, 2024 10:24 1m 26s romac/mbt-fix
romac/mbt-fix
January 4, 2024 10:24 1m 26s
test: Fix bug in MBT test where some steps were skipped Coverage #486: Pull request #129 synchronize by romac
January 4, 2024 10:15 1m 24s romac/mbt-fix
romac/mbt-fix
January 4, 2024 10:15 1m 24s
Run codespell on CI (#136) Coverage #485: Commit 73a9900 pushed by romac
January 3, 2024 13:53 3m 2s main
main
January 3, 2024 13:53 3m 2s
Run codespell on CI Coverage #484: Pull request #136 synchronize by romac
January 3, 2024 13:44 2m 56s codespell
codespell
January 3, 2024 13:44 2m 56s
Run codespell on CI Coverage #483: Pull request #136 synchronize by romac
January 3, 2024 13:41 3m 19s codespell
codespell
January 3, 2024 13:41 3m 19s
test: Fix bug in MBT test where some steps were skipped Coverage #482: Pull request #129 opened by romac
December 21, 2023 16:01 1m 21s romac/mbt-fix
romac/mbt-fix
December 21, 2023 16:01 1m 21s
Remove unnecessary use of async in the driver Coverage #481: Commit 057c601 pushed by romac
December 19, 2023 13:57 2m 36s main
main
December 19, 2023 13:57 2m 36s
test(mbt): MBT for round state machine (#120) Coverage #480: Commit 22fe845 pushed by romac
December 19, 2023 10:56 3m 0s main
main
December 19, 2023 10:56 3m 0s
docs: Add ADR for overall architecture, APIs, dependencies (#32) Coverage #479: Commit 5db2ab0 pushed by ancazamfir
December 19, 2023 10:12 2m 15s main
main
December 19, 2023 10:12 2m 15s
test(mbt): MBT for round state machine Coverage #478: Pull request #120 synchronize by romac
December 19, 2023 09:52 2m 29s mbt-consensus
mbt-consensus
December 19, 2023 09:52 2m 29s
test(mbt): MBT for round state machine Coverage #477: Pull request #120 synchronize by romac
December 18, 2023 15:20 2m 23s mbt-consensus
mbt-consensus
December 18, 2023 15:20 2m 23s
test(mbt): MBT for round state machine Coverage #476: Pull request #120 synchronize by romac
December 18, 2023 14:44 2m 24s mbt-consensus
mbt-consensus
December 18, 2023 14:44 2m 24s
test(mbt): MBT for round state machine Coverage #475: Pull request #120 synchronize by romac
December 18, 2023 14:43 2m 33s mbt-consensus
mbt-consensus
December 18, 2023 14:43 2m 33s
Align code with spec to start in round nil instead of zero Coverage #474: Pull request #125 synchronize by romac
December 18, 2023 14:38 3m 17s romac/nil-new-round
romac/nil-new-round
December 18, 2023 14:38 3m 17s