Skip to content

Actions: informalsystems/malachite

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
589 workflow run results
589 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(spec): Always start propose timeout Coverage #514: Pull request #157 opened by josef-widder
January 15, 2024 14:42 1m 18s josef/alwaysproposetimeout
josef/alwaysproposetimeout
January 15, 2024 14:42 1m 18s
feat(spec): Add test to execute line 32 in different scenarios Coverage #513: Pull request #156 synchronize by josef-widder
January 15, 2024 14:22 2m 2s josef/i155-line32
josef/i155-line32
January 15, 2024 14:22 2m 2s
feat(spec): Add test to execute line 32 in different scenarios Coverage #512: Pull request #156 synchronize by josef-widder
January 15, 2024 13:58 1m 24s josef/i155-line32
josef/i155-line32
January 15, 2024 13:58 1m 24s
feat(spec): Add test to execute line 32 in different scenarios Coverage #511: Pull request #156 opened by josef-widder
January 12, 2024 16:18 1m 16s josef/i155-line32
josef/i155-line32
January 12, 2024 16:18 1m 16s
feat(spec): Clean up, addresses all points in issue 151 Coverage #510: Pull request #154 opened by josef-widder
January 12, 2024 13:41 1m 18s josef/i151-clean-up
josef/i151-clean-up
January 12, 2024 13:41 1m 18s
test: Add missing unit tests for L26 and invalid transitions (#141) Coverage #509: Commit f642cf4 pushed by romac
January 12, 2024 10:39 3m 39s main
main
January 12, 2024 10:39 3m 39s
feat(code): Propagate height to GetValue recipient and split GetValueAndScheduleTimeout into two outputs Coverage #508: Pull request #149 opened by romac
January 11, 2024 15:33 1m 32s romac/height-get-value
romac/height-get-value
January 11, 2024 15:33 1m 32s
feat: Add decision to the round state (#145) Coverage #507: Commit 18d4167 pushed by ancazamfir
January 11, 2024 13:07 1m 32s main
main
January 11, 2024 13:07 1m 32s
feat: Add decision to the round state Coverage #506: Pull request #145 synchronize by romac
January 11, 2024 11:41 1m 42s anca/144_add_decision
anca/144_add_decision
January 11, 2024 11:41 1m 42s
feat: Add decision to the round state Coverage #505: Pull request #145 opened by ancazamfir
January 11, 2024 11:24 1m 19s anca/144_add_decision
anca/144_add_decision
January 11, 2024 11:24 1m 19s
chore: Fix some of TODOs in code (#142) Coverage #504: Commit ccad5e8 pushed by ancazamfir
January 11, 2024 10:23 1m 26s main
main
January 11, 2024 10:23 1m 26s
chore: Fix some of TODOs in code Coverage #503: Pull request #142 synchronize by ancazamfir
January 11, 2024 10:19 1m 28s anca/109-todos
anca/109-todos
January 11, 2024 10:19 1m 28s
chore: Fix some of TODOs in code Coverage #502: Pull request #142 synchronize by ancazamfir
January 11, 2024 09:50 1m 21s anca/109-todos
anca/109-todos
January 11, 2024 09:50 1m 21s
chore: Address some remaining minor TODOs (#140) Coverage #501: Commit 242f22d pushed by ancazamfir
January 11, 2024 09:12 3m 38s main
main
January 11, 2024 09:12 3m 38s
test: Add missing tests for L26 and invalid transitions Coverage #500: Pull request #141 synchronize by ancazamfir
January 10, 2024 17:41 1m 19s anca/51_extra_uts
anca/51_extra_uts
January 10, 2024 17:41 1m 19s
chore: Address some remaining minor TODOs Coverage #499: Pull request #140 opened by romac
January 9, 2024 19:42 1m 19s romac/109-todos
romac/109-todos
January 9, 2024 19:42 1m 19s
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