Skip to content

Actions: HigherOrderCO/hvm-64

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
591 workflow runs
591 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix preduce tests Checks #191: Pull request #97 opened by tjjfvi
March 21, 2024 12:05 4m 25s fix-pre-reduce-tests
fix-pre-reduce-tests
March 21, 2024 12:05 4m 25s
[sc-506] Implement smart pointer API for Defs. (#89) Checks #190: Commit acbc429 pushed by github-merge-queue bot
March 21, 2024 12:01 4m 42s main
main
March 21, 2024 12:01 4m 42s
Checks Checks #189: Merge group checks requested
March 21, 2024 11:56 4m 45s
March 21, 2024 11:56 4m 45s
[sc-506] Implement smart pointer API for Defs. Checks #188: Pull request #89 synchronize by tjjfvi
March 21, 2024 11:51 4m 42s feature/sc-506/smart-pointer-def-api
feature/sc-506/smart-pointer-def-api
March 21, 2024 11:51 4m 42s
add tera prefix Checks #187: Pull request #96 opened by tjjfvi
March 20, 2024 23:27 4m 53s tera
tera
March 20, 2024 23:27 4m 53s
improve optimization passes Checks #186: Pull request #95 synchronize by tjjfvi
March 20, 2024 23:19 4m 56s more-passes
more-passes
March 20, 2024 23:19 4m 56s
improve optimization passes Checks #185: Pull request #95 synchronize by tjjfvi
March 20, 2024 23:15 3m 54s more-passes
more-passes
March 20, 2024 23:15 3m 54s
improve optimization passes Checks #184: Pull request #95 opened by tjjfvi
March 20, 2024 23:14 3m 58s more-passes
more-passes
March 20, 2024 23:14 3m 58s
rework heap allocation api (#93) Checks #183: Commit 021babe pushed by github-merge-queue bot
March 20, 2024 18:23 5m 44s main
main
March 20, 2024 18:23 5m 44s
Checks Checks #182: Merge group checks requested
March 20, 2024 18:17 5m 43s
March 20, 2024 18:17 5m 43s
rework heap allocation api Checks #181: Pull request #93 synchronize by tjjfvi
March 20, 2024 17:44 6m 12s rework-heap
rework-heap
March 20, 2024 17:44 6m 12s
add timeouts to CI jobs (#94) Checks #180: Commit 030ff10 pushed by github-merge-queue bot
March 20, 2024 17:22 5m 0s main
main
March 20, 2024 17:22 5m 0s
Checks Checks #179: Merge group checks requested
March 20, 2024 17:17 4m 43s
March 20, 2024 17:17 4m 43s
add timeouts to CI jobs Checks #178: Pull request #94 synchronize by kings177
March 20, 2024 17:12 4m 46s kings177:main
kings177:main
March 20, 2024 17:12 4m 46s
add timeouts to CI jobs Checks #177: Pull request #94 opened by kings177
March 20, 2024 16:59 4m 38s kings177:main
kings177:main
March 20, 2024 16:59 4m 38s
fix ooms Checks #176: Pull request #92 synchronize by tjjfvi
March 20, 2024 15:19 1h 9m 31s fix-ooms
fix-ooms
March 20, 2024 15:19 1h 9m 31s
rework heap allocation api Checks #175: Pull request #93 opened by tjjfvi
March 20, 2024 14:05 4m 35s rework-heap
rework-heap
March 20, 2024 14:05 4m 35s
fix ooms Checks #174: Pull request #92 synchronize by tjjfvi
March 20, 2024 13:26 32m 30s fix-ooms
fix-ooms
March 20, 2024 13:26 32m 30s
fix ooms Checks #173: Pull request #92 opened by tjjfvi
March 20, 2024 13:20 38m 38s fix-ooms
fix-ooms
March 20, 2024 13:20 38m 38s
[sc-524] Change Display impl of Book and Net to include lines bet… Checks #172: Commit 09a3791 pushed by github-merge-queue bot
March 19, 2024 16:03 4m 54s main
main
March 19, 2024 16:03 4m 54s
Checks Checks #171: Merge group checks requested
March 19, 2024 15:57 4m 44s
March 19, 2024 15:57 4m 44s
[sc-524] Change Display impl of Book and Net to include lines between empty defs and indent redexes Checks #170: Pull request #90 synchronize by tjjfvi
March 19, 2024 15:52 4m 50s feature/sc-524/pretty-book-printing
feature/sc-524/pretty-book-printing
March 19, 2024 15:52 4m 50s
[sc-524] Change Display impl of Book and Net to include lines between empty defs and indent redexes Checks #169: Pull request #90 synchronize by tjjfvi
March 19, 2024 15:48 4m 52s feature/sc-524/pretty-book-printing
feature/sc-524/pretty-book-printing
March 19, 2024 15:48 4m 52s
[sc-524] Change Display impl of Book and Net to include lines between empty defs and indent redexes Checks #168: Pull request #90 opened by FranchuFranchu
March 19, 2024 14:15 2m 45s feature/sc-524/pretty-book-printing
feature/sc-524/pretty-book-printing
March 19, 2024 14:15 2m 45s
[sc-506] Implement smart pointer API for Defs. Checks #167: Pull request #89 synchronize by FranchuFranchu
March 19, 2024 13:50 4m 33s feature/sc-506/smart-pointer-def-api
feature/sc-506/smart-pointer-def-api
March 19, 2024 13:50 4m 33s
ProTip! You can narrow down the results and go further in time using created:<2024-03-19 or the other filters available.