Skip to content

Actions: butterunderflow/fun-for-fun

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
515 workflow runs
515 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

normalization skeleton build and test #40: Commit 0fb8f6b pushed by butterunderflow
March 24, 2024 22:22 6m 1s dev-normalize
dev-normalize
March 24, 2024 22:22 6m 1s
normalization skeleton build and test #39: Commit b7410ad pushed by butterunderflow
March 24, 2024 22:02 10m 48s dev-normalize
dev-normalize
March 24, 2024 22:02 10m 48s
typing expression(wip) build and test #38: Commit 71836f2 pushed by butterunderflow
February 17, 2024 07:19 8m 0s dev-type-checker
dev-type-checker
February 17, 2024 07:19 8m 0s
refactor to utilize visitor pps build and test #37: Commit e63640a pushed by butterunderflow
February 11, 2024 09:42 8m 18s master
master
February 11, 2024 09:42 8m 18s
parse constructor expression build and test #36: Commit e1093db pushed by butterunderflow
February 11, 2024 06:26 5m 48s master
master
February 11, 2024 06:26 5m 48s
parse constructor expression build and test #35: Commit ca698b6 pushed by butterunderflow
February 11, 2024 06:08 8m 0s master
master
February 11, 2024 06:08 8m 0s
unification algorithm build and test #34: Commit 4df6f42 pushed by butterunderflow
February 10, 2024 11:47 7m 54s master
master
February 10, 2024 11:47 7m 54s
unification algorithm build and test #33: Commit f91bc47 pushed by butterunderflow
February 10, 2024 10:18 6m 51s master
master
February 10, 2024 10:18 6m 51s
add visitor ppx to parsetree.ml and remove redundant "deriving" decla… build and test #32: Commit 97b5118 pushed by butterunderflow
February 9, 2024 18:07 6m 32s master
master
February 9, 2024 18:07 6m 32s
typing architecture build and test #31: Commit c410cf0 pushed by butterunderflow
February 9, 2024 15:24 5m 50s master
master
February 9, 2024 15:24 5m 50s
typing architecture build and test #30: Commit 959cde8 pushed by butterunderflow
February 9, 2024 15:06 6m 5s master
master
February 9, 2024 15:06 6m 5s
makefile build and test #29: Commit 2b77559 pushed by butterunderflow
February 8, 2024 15:35 8m 13s master
master
February 8, 2024 15:35 8m 13s
primary typing environment build and test #28: Commit 62e16c3 pushed by butterunderflow
February 8, 2024 15:30 8m 46s master
master
February 8, 2024 15:30 8m 46s
primary typing environment build and test #27: Commit 62e16c3 pushed by butterunderflow
February 8, 2024 15:20 5m 53s dev-type-checker
dev-type-checker
February 8, 2024 15:20 5m 53s
typing environment build and test #26: Commit ab607e7 pushed by butterunderflow
February 8, 2024 15:07 5m 55s dev-type-checker
dev-type-checker
February 8, 2024 15:07 5m 55s
check format after building build and test #25: Commit 4bf673a pushed by butterunderflow
February 8, 2024 13:01 5m 55s debug-ci
debug-ci
February 8, 2024 13:01 5m 55s
check format after building build and test #24: Commit 68c1ada pushed by butterunderflow
February 8, 2024 12:18 6m 32s debug-ci
debug-ci
February 8, 2024 12:18 6m 32s
use sparse type def and format all build and test #23: Commit 30896fc pushed by butterunderflow
February 8, 2024 12:12 6m 20s dev-type-checker
dev-type-checker
February 8, 2024 12:12 6m 20s
type checker(wip) build and test #22: Commit eab49ea pushed by butterunderflow
February 8, 2024 11:54 5m 59s dev-type-checker
dev-type-checker
February 8, 2024 11:54 5m 59s
a test example for backend build and test #21: Commit 5e039d0 pushed by butterunderflow
February 8, 2024 10:42 7m 16s dev-backend
dev-backend
February 8, 2024 10:42 7m 16s
a test example for backend build and test #20: Commit 5e039d0 pushed by butterunderflow
February 8, 2024 10:42 7m 19s master
master
February 8, 2024 10:42 7m 19s
a test example for backend build and test #19: Commit faff581 pushed by butterunderflow
February 8, 2024 10:33 6m 5s master
master
February 8, 2024 10:33 6m 5s
dune file for typing package build and test #18: Commit b05b48f pushed by butterunderflow
February 8, 2024 08:45 6m 8s dev-backend
dev-backend
February 8, 2024 08:45 6m 8s
type checker(wip) build and test #17: Commit bf1557d pushed by butterunderflow
February 8, 2024 08:43 5m 50s dev-type-checker
dev-type-checker
February 8, 2024 08:43 5m 50s
dune file for typing package build and test #16: Commit b05b48f pushed by butterunderflow
February 8, 2024 08:42 6m 9s dev-type-checker
dev-type-checker
February 8, 2024 08:42 6m 9s
ProTip! You can narrow down the results and go further in time using created:<2024-02-08 or the other filters available.