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

Add cargo integration alias Coverage #335: Commit a73929e pushed by romac
December 1, 2023 15:54 1m 55s main
main
December 1, 2023 15:54 1m 55s
Add cargo mbt alias Coverage #334: Commit c3c978f pushed by romac
December 1, 2023 11:50 1m 58s main
main
December 1, 2023 11:50 1m 58s
test: Distinguish between coverage from integration and MBT tests Coverage #333: Pull request #97 synchronize by romac
December 1, 2023 11:50 2m 44s romac/codecov-flags
romac/codecov-flags
December 1, 2023 11:50 2m 44s
test: Distinguish between coverage from integration and MBT tests Coverage #332: Pull request #97 synchronize by romac
December 1, 2023 11:15 2m 22s romac/codecov-flags
romac/codecov-flags
December 1, 2023 11:15 2m 22s
test: Distinguish between coverage from integration and MBT tests Coverage #331: Pull request #97 synchronize by romac
December 1, 2023 09:30 2m 1s romac/codecov-flags
romac/codecov-flags
December 1, 2023 09:30 2m 1s
test: Distinguish between coverage from integration and MBT tests Coverage #330: Pull request #97 synchronize by romac
December 1, 2023 09:12 2m 48s romac/codecov-flags
romac/codecov-flags
December 1, 2023 09:12 2m 48s
test: Distinguish between coverage from integration and MBT tests Coverage #329: Pull request #97 opened by romac
December 1, 2023 09:09 2m 7s romac/codecov-flags
romac/codecov-flags
December 1, 2023 09:09 2m 7s
spec: Overview over consensus logic covered with tests (#92) Coverage #328: Commit 1074875 pushed by romac
November 30, 2023 14:09 2m 4s main
main
November 30, 2023 14:09 2m 4s
Rename VoteMessage alias to VoteKeeperOutput Coverage #327: Commit a733850 pushed by romac
November 30, 2023 13:23 2m 8s main
main
November 30, 2023 13:23 2m 8s
spec: Overview over consensus logic covered with tests Coverage #326: Pull request #92 synchronize by romac
November 30, 2023 11:05 2m 5s josef/testcoverage
josef/testcoverage
November 30, 2023 11:05 2m 5s
spec: Overview over consensus logic covered with tests Coverage #325: Pull request #92 synchronize by romac
November 30, 2023 10:55 2m 57s josef/testcoverage
josef/testcoverage
November 30, 2023 10:55 2m 57s
spec: Renaming and cleanup (#94) Coverage #324: Commit d4090cb pushed by romac
November 30, 2023 10:20 2m 1s main
main
November 30, 2023 10:20 2m 1s
spec: Renaming and cleanup Coverage #323: Pull request #94 synchronize by romac
November 30, 2023 09:52 2m 5s romac/cleanup-quint
romac/cleanup-quint
November 30, 2023 09:52 2m 5s
spec: Renaming and cleanup Coverage #322: Pull request #94 synchronize by romac
November 30, 2023 09:42 2m 17s romac/cleanup-quint
romac/cleanup-quint
November 30, 2023 09:42 2m 17s
spec: Overview over consensus logic covered with tests Coverage #321: Pull request #92 synchronize by josef-widder
November 30, 2023 09:32 2m 4s josef/testcoverage
josef/testcoverage
November 30, 2023 09:32 2m 4s
spec: Refactor votekeeper using quint's new sum types Coverage #320: Pull request #76 synchronize by hvanz
November 30, 2023 09:20 2m 1s hvanz/votekeeper-sum-types
hvanz/votekeeper-sum-types
November 30, 2023 09:20 2m 1s
spec: Renaming and cleanup Coverage #319: Pull request #94 opened by romac
November 30, 2023 08:26 2m 49s romac/cleanup-quint
romac/cleanup-quint
November 30, 2023 08:26 2m 49s
code: Rename Event to Input and Message to Output (#93) Coverage #318: Commit 4c5a1a7 pushed by romac
November 30, 2023 08:03 2m 2s main
main
November 30, 2023 08:03 2m 2s
spec: Overview over consensus logic covered with tests Coverage #317: Pull request #92 synchronize by josef-widder
November 29, 2023 15:19 2m 0s josef/testcoverage
josef/testcoverage
November 29, 2023 15:19 2m 0s
spec: Overview over consensus logic covered with tests Coverage #316: Pull request #92 synchronize by josef-widder
November 29, 2023 15:09 2m 7s josef/testcoverage
josef/testcoverage
November 29, 2023 15:09 2m 7s
spec: Overview over consensus logic covered with tests Coverage #315: Pull request #92 synchronize by josef-widder
November 29, 2023 15:08 2m 9s josef/testcoverage
josef/testcoverage
November 29, 2023 15:08 2m 9s
spec: Overview over consensus logic covered with tests Coverage #314: Pull request #92 synchronize by josef-widder
November 29, 2023 14:15 2m 0s josef/testcoverage
josef/testcoverage
November 29, 2023 14:15 2m 0s
code: Rename Event to Input and Message to Output Coverage #313: Pull request #93 synchronize by romac
November 29, 2023 13:42 2m 6s romac/input-output
romac/input-output
November 29, 2023 13:42 2m 6s
code: Rename Event to Input and Message to Output Coverage #312: Pull request #93 opened by romac
November 29, 2023 10:09 2m 36s romac/input-output
romac/input-output
November 29, 2023 10:09 2m 36s
feat: Store all received proposals Coverage #311: Pull request #91 synchronize by romac
November 29, 2023 09:46 2m 26s romac/driver-proposals
romac/driver-proposals
November 29, 2023 09:46 2m 26s