Skip to content

Actions: ch-systems/petr

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
335 workflow runs
335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix up some tiny things
Rust #114: Commit d5338ba pushed by sezna
December 21, 2024 17:22 1m 28s main
December 21, 2024 17:22 1m 28s
fix up some tiny things
Create issues for TODOs #46: Commit d5338ba pushed by sezna
December 21, 2024 17:22 11s main
December 21, 2024 17:22 11s
fix up some tiny things
CI #149: Commit d5338ba pushed by sezna
December 21, 2024 17:22 1m 15s main
December 21, 2024 17:22 1m 15s
fix returns symbol parser
Rust #113: Commit d14bdf5 pushed by sezna
November 11, 2024 14:45 1m 30s main
November 11, 2024 14:45 1m 30s
fix returns symbol parser
CI #148: Commit d14bdf5 pushed by sezna
November 11, 2024 14:45 1m 4s main
November 11, 2024 14:45 1m 4s
fix returns symbol parser
Create issues for TODOs #45: Commit d14bdf5 pushed by sezna
November 11, 2024 14:45 13s main
November 11, 2024 14:45 13s
Various bugfixes
CI #147: Pull request #155 opened by sezna
November 11, 2024 14:29 43s alex/lists
November 11, 2024 14:29 43s
Various bugfixes
Rust #112: Pull request #155 opened by sezna
November 11, 2024 14:29 1m 26s alex/lists
November 11, 2024 14:29 1m 26s
August 3, 2024 20:02 1m 21s
August 3, 2024 20:02 1m 5s
Merge pull request #143 from ch-systems/alex/specific-type-formalization
Create issues for TODOs #44: Commit e4b9cd0 pushed by sezna
August 3, 2024 20:02 25s main
August 3, 2024 20:02 25s
Specific Type Formalization
Rust #110: Pull request #143 synchronize by sezna
August 3, 2024 13:19 1m 22s alex/specific-type-formalization
August 3, 2024 13:19 1m 22s
Specific Type Formalization
CI #145: Pull request #143 synchronize by sezna
August 3, 2024 13:19 1m 4s alex/specific-type-formalization
August 3, 2024 13:19 1m 4s
Specific Type Formalization
Rust #109: Pull request #143 synchronize by sezna
August 3, 2024 04:13 1m 22s alex/specific-type-formalization
August 3, 2024 04:13 1m 22s
Specific Type Formalization
CI #144: Pull request #143 synchronize by sezna
August 3, 2024 04:13 43s alex/specific-type-formalization
August 3, 2024 04:13 43s
Specific Type Formalization
CI #143: Pull request #143 synchronize by sezna
August 3, 2024 03:50 41s alex/specific-type-formalization
August 3, 2024 03:50 41s
Specific Type Formalization
Rust #108: Pull request #143 synchronize by sezna
August 3, 2024 03:50 1m 25s alex/specific-type-formalization
August 3, 2024 03:50 1m 25s
Specific Type Formalization
Rust #107: Pull request #143 synchronize by sezna
August 3, 2024 01:43 1m 32s alex/specific-type-formalization
August 3, 2024 01:43 1m 32s
Specific Type Formalization
CI #142: Pull request #143 synchronize by sezna
August 3, 2024 01:43 47s alex/specific-type-formalization
August 3, 2024 01:43 47s
Specific Type Formalization
CI #141: Pull request #143 synchronize by sezna
August 2, 2024 16:08 45s alex/specific-type-formalization
August 2, 2024 16:08 45s
Specific Type Formalization
Rust #106: Pull request #143 synchronize by sezna
August 2, 2024 16:08 41s alex/specific-type-formalization
August 2, 2024 16:08 41s
Specific Type Formalization
Rust #105: Pull request #143 synchronize by sezna
July 31, 2024 14:09 1m 26s alex/specific-type-formalization
July 31, 2024 14:09 1m 26s
Specific Type Formalization
CI #140: Pull request #143 synchronize by sezna
July 31, 2024 14:09 1m 13s alex/specific-type-formalization
July 31, 2024 14:09 1m 13s
Specific Type Formalization
CI #139: Pull request #143 synchronize by sezna
July 31, 2024 13:30 1m 9s alex/specific-type-formalization
July 31, 2024 13:30 1m 9s
Specific Type Formalization
Rust #104: Pull request #143 synchronize by sezna
July 31, 2024 13:30 1m 21s alex/specific-type-formalization
July 31, 2024 13:30 1m 21s