Skip to content

Actions: informalsystems/itf-rs

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release v0.2.4 (#18) Coverage #88: Commit 2cb9a14 pushed by romac
May 16, 2024 07:15 44s main
main
May 16, 2024 07:15 44s
Release v0.2.4 Coverage #87: Pull request #18 opened by romac
May 16, 2024 07:14 35s release/v0.2.4
release/v0.2.4
May 16, 2024 07:14 35s
Add helpers to deserialize into Option or Result (#17) Coverage #86: Commit e9c5fce pushed by romac
May 16, 2024 07:11 44s main
main
May 16, 2024 07:11 44s
Add helpers to deserialize into Option or Result Coverage #85: Pull request #17 synchronize by romac
May 16, 2024 07:08 39s romac/option-result
romac/option-result
May 16, 2024 07:08 39s
Add helpers to deserialize into Option or Result Coverage #84: Pull request #17 synchronize by romac
May 16, 2024 07:08 54s romac/option-result
romac/option-result
May 16, 2024 07:08 54s
Add helpers to deserialize into Option or Result Coverage #83: Pull request #17 opened by romac
May 15, 2024 19:59 1m 3s romac/option-result
romac/option-result
May 15, 2024 19:59 1m 3s
Release v0.2.3 (#16) Coverage #82: Commit 40cbf6a pushed by romac
March 26, 2024 15:07 46s main
main
March 26, 2024 15:07 46s
Release v0.2.3 Coverage #81: Pull request #16 opened by romac
March 26, 2024 15:06 36s release/v0.2.3
release/v0.2.3
March 26, 2024 15:06 36s
Deserialize empty tuple as unit (#15) Coverage #80: Commit f849c4e pushed by romac
March 26, 2024 15:05 54s main
main
March 26, 2024 15:05 54s
Deserialize empty tuple as unit Coverage #79: Pull request #15 synchronize by romac
March 26, 2024 15:04 48s romac/quint-0.19
romac/quint-0.19
March 26, 2024 15:04 48s
Deserialize empty tuple as unit Coverage #78: Pull request #15 synchronize by romac
March 26, 2024 14:57 37s romac/quint-0.19
romac/quint-0.19
March 26, 2024 14:57 37s
Deserialize empty tuple as unit Coverage #77: Pull request #15 opened by romac
March 26, 2024 14:56 59s romac/quint-0.19
romac/quint-0.19
March 26, 2024 14:56 59s
More tests for sum types: records as option content Coverage #76: Pull request #14 opened by ivan-gavran
December 20, 2023 10:28 45s ivan/recordEnums
ivan/recordEnums
December 20, 2023 10:28 45s
Add more tests for sum types Coverage #75: Commit a141ced pushed by romac
December 7, 2023 16:05 41s main
main
December 7, 2023 16:05 41s
Release v0.2.2 (#13) Coverage #74: Commit 202badc pushed by romac
December 7, 2023 11:18 40s main
main
December 7, 2023 11:18 40s
Release v0.2.2 Coverage #73: Pull request #13 opened by romac
December 7, 2023 11:17 40s release/v0.2.2
release/v0.2.2
December 7, 2023 11:17 40s
Add support for sum types (#12) Coverage #72: Commit e8ebf09 pushed by romac
December 7, 2023 11:16 52s main
main
December 7, 2023 11:16 52s
Add support for sum types Coverage #71: Pull request #12 synchronize by romac
December 7, 2023 11:16 35s romac/sum-types
romac/sum-types
December 7, 2023 11:16 35s
Add support for sum types Coverage #70: Pull request #12 opened by romac
December 7, 2023 11:15 54s romac/sum-types
romac/sum-types
December 7, 2023 11:15 54s
Release v0.2.1 (#10) Coverage #69: Commit 54da394 pushed by romac
November 28, 2023 09:54 33s main
main
November 28, 2023 09:54 33s
Release v0.2.1 Coverage #68: Pull request #10 opened by romac
November 28, 2023 09:52 43s release/v0.2.1
release/v0.2.1
November 28, 2023 09:52 43s
Add a trace runner (#9) Coverage #67: Commit 4f443dc pushed by romac
November 28, 2023 09:50 51s main
main
November 28, 2023 09:50 51s
Add a trace runner Coverage #66: Pull request #9 synchronize by romac
November 28, 2023 09:47 46s rano/runner
rano/runner
November 28, 2023 09:47 46s
Add a trace runner Coverage #65: Pull request #9 synchronize by rnbguy
November 22, 2023 14:45 41s rano/runner
rano/runner
November 22, 2023 14:45 41s
Add a trace runner Coverage #64: Pull request #9 synchronize by rnbguy
November 22, 2023 14:44 35s rano/runner
rano/runner
November 22, 2023 14:44 35s