Skip to content

Actions: ch-systems/petr

Actions

Create issues for TODOs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
on_main_commit.yml
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix up some tiny things Create issues for TODOs #46: Commit d5338ba pushed by sezna
December 21, 2024 17:22 11s main
main
December 21, 2024 17:22 11s
fix returns symbol parser Create issues for TODOs #45: Commit d14bdf5 pushed by sezna
November 11, 2024 14:45 13s main
main
November 11, 2024 14:45 13s
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
main
August 3, 2024 20:02 25s
Merge pull request #144 from ch-systems/sezna-patch-2 Create issues for TODOs #43: Commit c39db92 pushed by sezna
July 30, 2024 22:55 10s main
main
July 30, 2024 22:55 10s
Merge pull request #134 from ch-systems/alex/constant-types Create issues for TODOs #42: Commit 6c2873b pushed by sezna
July 30, 2024 22:41 28s main
main
July 30, 2024 22:41 28s
Merge pull request #131 from sezna/alex/if-exprs Create issues for TODOs #41: Commit 3b536fc pushed by sezna
July 26, 2024 15:30 17s main
main
July 26, 2024 15:30 17s
Merge pull request #127 from sezna/alex/size-of-intrinsic Create issues for TODOs #40: Commit cb4aa5c pushed by sezna
July 25, 2024 15:07 17s main
main
July 25, 2024 15:07 17s
Merge pull request #126 from sezna/alex/dependabot Create issues for TODOs #39: Commit c140eb9 pushed by sezna
July 24, 2024 05:56 16s main
main
July 24, 2024 05:56 16s
Merge pull request #125 from sezna/alex/publish Create issues for TODOs #38: Commit 64b66a7 pushed by sezna
July 24, 2024 05:46 11s main
main
July 24, 2024 05:46 11s
Merge pull request #119 from sezna/patch Create issues for TODOs #37: Commit 9fd368a pushed by sezna
July 21, 2024 19:06 15s main
main
July 21, 2024 19:06 15s
Merge pull request #116 from sezna/alex/fix-wasm-panics Create issues for TODOs #36: Commit cad2382 pushed by sezna
July 21, 2024 18:53 15s main
main
July 21, 2024 18:53 15s
Merge pull request #101 from sezna/alex/tweaks Create issues for TODOs #35: Commit 5153249 pushed by sezna
July 20, 2024 16:50 18s main
main
July 20, 2024 16:50 18s
Merge pull request #100 from sezna/alex/patch Create issues for TODOs #34: Commit 3adbe4d pushed by sezna
July 7, 2024 03:00 20s main
main
July 7, 2024 03:00 20s
Merge pull request #94 from sezna/alex/playground-updates Create issues for TODOs #33: Commit 0820d40 pushed by sezna
July 7, 2024 02:39 18s main
main
July 7, 2024 02:39 18s
Merge pull request #88 from sezna/dependabot/cargo/cli-table-0.4.9 Create issues for TODOs #32: Commit e6b030a pushed by sezna
July 6, 2024 15:50 16s main
main
July 6, 2024 15:50 16s
Merge pull request #89 from sezna/alex/wasm-compiler Create issues for TODOs #31: Commit 0a2d199 pushed by sezna
July 4, 2024 01:26 24s main
main
July 4, 2024 01:26 24s
Merge pull request #84 from sezna/dependabot/cargo/lazy_static-1.5.0 Create issues for TODOs #30: Commit 367b5eb pushed by sezna
June 29, 2024 20:49 15s main
main
June 29, 2024 20:49 15s
Merge pull request #80 from sezna/dependabot/cargo/either-1.13.0 Create issues for TODOs #29: Commit e015aa8 pushed by sezna
June 29, 2024 20:49 15s main
main
June 29, 2024 20:49 15s
Merge pull request #79 from sezna/sezna-patch-1 Create issues for TODOs #28: Commit ab53fa6 pushed by sezna
June 29, 2024 20:44 11s main
main
June 29, 2024 20:44 11s
Merge pull request #78 from sezna/alex/malloc-intrinsic Create issues for TODOs #27: Commit c3903bb pushed by sezna
June 29, 2024 20:42 16s main
main
June 29, 2024 20:42 16s
Merge pull request #76 from sezna/alex/more-updates Create issues for TODOs #26: Commit 7bd6acb pushed by sezna
June 29, 2024 14:59 17s main
main
June 29, 2024 14:59 17s
Create rust_test.yml Create issues for TODOs #25: Commit 07d508f pushed by sezna
June 29, 2024 13:39 11s main
main
June 29, 2024 13:39 11s
Merge pull request #75 from sezna/alex/general-updates Create issues for TODOs #24: Commit aa75348 pushed by sezna
June 29, 2024 06:07 23s main
main
June 29, 2024 06:07 23s
remove import all issues option from CI Create issues for TODOs #23: Commit 7b90c61 pushed by sezna
June 28, 2024 15:22 17s main
main
June 28, 2024 15:22 17s
Create issues for TODOs Create issues for TODOs #22: Manually run by sezna
June 28, 2024 15:20 30s main
main
June 28, 2024 15:20 30s