Skip to content

Actions: informalsystems/itf-rs

Actions

Rust

Actions

Loading...
Loading

Showing runs from all workflows named Rust
63 workflow run results
63 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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