Skip to content

Actions: HigherOrderCO/hvm-64

Actions

Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
checks.yml
422 workflow runs
422 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
[sc-506] Implement smart pointer API for Defs. Checks #166: Pull request #89 synchronize by FranchuFranchu
March 19, 2024 13:41 4m 42s feature/sc-506/smart-pointer-def-api
feature/sc-506/smart-pointer-def-api
March 19, 2024 13:41 4m 42s
[sc-506] Implement smart pointer API for Defs. Checks #165: Pull request #89 synchronize by FranchuFranchu
March 19, 2024 13:37 4m 39s feature/sc-506/smart-pointer-def-api
feature/sc-506/smart-pointer-def-api
March 19, 2024 13:37 4m 39s
[sc-506] Implement smart pointer API for Defs. Checks #164: Pull request #89 synchronize by FranchuFranchu
March 19, 2024 13:35 4m 46s feature/sc-506/smart-pointer-def-api
feature/sc-506/smart-pointer-def-api
March 19, 2024 13:35 4m 46s
[sc-506] Implement smart pointer API for Defs. Checks #163: Pull request #89 synchronize by FranchuFranchu
March 19, 2024 13:20 38s feature/sc-506/smart-pointer-def-api
feature/sc-506/smart-pointer-def-api
March 19, 2024 13:20 38s
n-ary nodes Checks #162: Pull request #85 synchronize by tjjfvi
March 18, 2024 20:32 1m 14s nary
nary
March 18, 2024 20:32 1m 14s
n-ary nodes Checks #161: Pull request #85 synchronize by tjjfvi
March 18, 2024 17:41 1m 25s nary
nary
March 18, 2024 17:41 1m 25s
n-ary nodes Checks #160: Pull request #85 synchronize by tjjfvi
March 18, 2024 14:54 1m 26s nary
nary
March 18, 2024 14:54 1m 26s
n-ary nodes Checks #159: Pull request #85 synchronize by tjjfvi
March 18, 2024 12:20 1m 13s nary
nary
March 18, 2024 12:20 1m 13s
[sc-515] Implement eta-reduction pass (#87) Checks #158: Commit e86e979 pushed by github-merge-queue bot
March 15, 2024 18:49 4m 45s main
main
March 15, 2024 18:49 4m 45s
Checks Checks #157: Merge group checks requested
March 15, 2024 18:44 4m 34s
March 15, 2024 18:44 4m 34s
[sc-515] Implement eta-reduction pass Checks #156: Pull request #87 synchronize by FranchuFranchu
March 15, 2024 18:05 4m 36s feature/sc-515/eta-reduction-pass
feature/sc-515/eta-reduction-pass
March 15, 2024 18:05 4m 36s
[sc-515] Implement eta-reduction pass Checks #155: Pull request #87 synchronize by FranchuFranchu
March 15, 2024 17:37 4m 48s feature/sc-515/eta-reduction-pass
feature/sc-515/eta-reduction-pass
March 15, 2024 17:37 4m 48s
[sc-515] Implement eta-reduction pass Checks #154: Pull request #87 synchronize by FranchuFranchu
March 15, 2024 17:36 4m 47s feature/sc-515/eta-reduction-pass
feature/sc-515/eta-reduction-pass
March 15, 2024 17:36 4m 47s
prep for n-ary nodes (#84) Checks #153: Commit 781ff0d pushed by github-merge-queue bot
March 15, 2024 15:10 5m 41s main
main
March 15, 2024 15:10 5m 41s
Checks Checks #152: Merge group checks requested
March 15, 2024 15:04 5m 46s
March 15, 2024 15:04 5m 46s
prep for n-ary nodes Checks #151: Pull request #84 synchronize by FranchuFranchu
March 15, 2024 13:30 4m 42s nary-prep
nary-prep
March 15, 2024 13:30 4m 42s
prep for n-ary nodes Checks #150: Pull request #84 synchronize by FranchuFranchu
March 15, 2024 13:20 4m 42s nary-prep
nary-prep
March 15, 2024 13:20 4m 42s
[sc-506] Implement smart pointer API for Defs. Checks #149: Pull request #89 opened by FranchuFranchu
March 15, 2024 12:57 5m 14s feature/sc-506/smart-pointer-def-api
feature/sc-506/smart-pointer-def-api
March 15, 2024 12:57 5m 14s
Update README Checks #148: Pull request #88 opened by FranchuFranchu
March 15, 2024 12:51 5m 33s chore/sc-516/update-readme
chore/sc-516/update-readme
March 15, 2024 12:51 5m 33s
ProTip! You can narrow down the results and go further in time using created:<2024-03-15 or the other filters available.