Skip to content

Actions: ch-systems/petr

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix up some tiny things CI #149: Commit d5338ba pushed by sezna
December 21, 2024 17:22 1m 15s main
main
December 21, 2024 17:22 1m 15s
fix returns symbol parser CI #148: Commit d14bdf5 pushed by sezna
November 11, 2024 14:45 1m 4s main
main
November 11, 2024 14:45 1m 4s
Various bugfixes CI #147: Pull request #155 opened by sezna
November 11, 2024 14:29 43s alex/lists
alex/lists
November 11, 2024 14:29 43s
Merge pull request #143 from ch-systems/alex/specific-type-formalization CI #146: Commit e4b9cd0 pushed by sezna
August 3, 2024 20:02 1m 5s main
main
August 3, 2024 20:02 1m 5s
Specific Type Formalization CI #145: Pull request #143 synchronize by sezna
August 3, 2024 13:19 1m 4s alex/specific-type-formalization
alex/specific-type-formalization
August 3, 2024 13:19 1m 4s
Specific Type Formalization CI #144: Pull request #143 synchronize by sezna
August 3, 2024 04:13 43s alex/specific-type-formalization
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
alex/specific-type-formalization
August 3, 2024 03:50 41s
Specific Type Formalization CI #142: Pull request #143 synchronize by sezna
August 3, 2024 01:43 47s alex/specific-type-formalization
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
alex/specific-type-formalization
August 2, 2024 16:08 45s
Specific Type Formalization CI #140: Pull request #143 synchronize by sezna
July 31, 2024 14:09 1m 13s alex/specific-type-formalization
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
alex/specific-type-formalization
July 31, 2024 13:30 1m 9s
Specific Type Formalization CI #138: Pull request #143 synchronize by sezna
July 31, 2024 13:29 1m 5s alex/specific-type-formalization
alex/specific-type-formalization
July 31, 2024 13:29 1m 5s
Specific Type Formalization CI #137: Pull request #143 synchronize by sezna
July 30, 2024 23:06 1m 17s alex/specific-type-formalization
alex/specific-type-formalization
July 30, 2024 23:06 1m 17s
Merge pull request #144 from ch-systems/sezna-patch-2 CI #136: Commit c39db92 pushed by sezna
July 30, 2024 22:55 1m 3s main
main
July 30, 2024 22:55 1m 3s
Update README.md CI #135: Pull request #144 opened by sezna
July 30, 2024 22:55 1m 8s sezna-patch-2
sezna-patch-2
July 30, 2024 22:55 1m 8s
Specific Type Formalization CI #134: Pull request #143 opened by sezna
July 30, 2024 22:52 1m 11s alex/specific-type-formalization
alex/specific-type-formalization
July 30, 2024 22:52 1m 11s
Merge pull request #134 from ch-systems/alex/constant-types CI #133: Commit 6c2873b pushed by sezna
July 30, 2024 22:41 1m 3s main
main
July 30, 2024 22:41 1m 3s
Introduce constant variable value types CI #132: Pull request #134 synchronize by sezna
July 30, 2024 22:23 1m 33s alex/constant-types
alex/constant-types
July 30, 2024 22:23 1m 33s
Introduce constant variable value types CI #131: Pull request #134 synchronize by sezna
July 30, 2024 22:11 1m 6s alex/constant-types
alex/constant-types
July 30, 2024 22:11 1m 6s
Introduce constant variable value types CI #130: Pull request #134 synchronize by sezna
July 30, 2024 21:34 38s alex/constant-types
alex/constant-types
July 30, 2024 21:34 38s
Introduce constant variable value types CI #129: Pull request #134 synchronize by sezna
July 30, 2024 18:49 36s alex/constant-types
alex/constant-types
July 30, 2024 18:49 36s
Introduce constant variable value types CI #128: Pull request #134 synchronize by sezna
July 30, 2024 11:43 36s alex/constant-types
alex/constant-types
July 30, 2024 11:43 36s
Introduce constant variable value types CI #127: Pull request #134 opened by sezna
July 30, 2024 10:58 38s alex/constant-types
alex/constant-types
July 30, 2024 10:58 38s
Merge pull request #131 from sezna/alex/if-exprs CI #126: Commit 3b536fc pushed by sezna
July 26, 2024 15:30 1m 4s main
main
July 26, 2024 15:30 1m 4s
If expressions, @equals intrinsic, basic List codegen, and other associated changes CI #125: Pull request #131 synchronize by sezna
July 26, 2024 14:55 1m 6s alex/if-exprs
alex/if-exprs
July 26, 2024 14:55 1m 6s