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

type checker build and test #65: Pull request #4 synchronize by butterunderflow
May 22, 2024 03:12 5m 58s dev-type-checker
dev-type-checker
May 22, 2024 03:12 5m 58s
prepare recursion between tyck and normalize build and test #64: Commit b108021 pushed by butterunderflow
May 22, 2024 03:12 5m 53s dev-type-checker
dev-type-checker
May 22, 2024 03:12 5m 53s
type checker build and test #63: Pull request #4 synchronize by butterunderflow
May 21, 2024 16:16 15m 48s dev-type-checker
dev-type-checker
May 21, 2024 16:16 15m 48s
side effect based unification build and test #62: Commit 53c2282 pushed by butterunderflow
May 21, 2024 16:16 17m 1s dev-type-checker
dev-type-checker
May 21, 2024 16:16 17m 1s
type checker build and test #61: Pull request #4 synchronize by butterunderflow
May 21, 2024 05:34 6m 0s dev-type-checker
dev-type-checker
May 21, 2024 05:34 6m 0s
side effec build and test #60: Commit 648097f pushed by butterunderflow
May 21, 2024 05:34 6m 55s dev-type-checker
dev-type-checker
May 21, 2024 05:34 6m 55s
type checker build and test #59: Pull request #4 synchronize by butterunderflow
May 21, 2024 00:15 6m 46s dev-type-checker
dev-type-checker
May 21, 2024 00:15 6m 46s
effect based unification(wip) build and test #58: Commit cfa05d6 pushed by butterunderflow
May 21, 2024 00:15 6m 54s dev-type-checker
dev-type-checker
May 21, 2024 00:15 6m 54s
type checker build and test #57: Pull request #4 synchronize by butterunderflow
May 20, 2024 09:12 6m 2s dev-type-checker
dev-type-checker
May 20, 2024 09:12 6m 2s
generative module system(wip) build and test #56: Commit 25c4667 pushed by butterunderflow
May 20, 2024 09:12 6m 14s dev-type-checker
dev-type-checker
May 20, 2024 09:12 6m 14s
type checker build and test #55: Pull request #4 synchronize by butterunderflow
May 20, 2024 00:15 6m 41s dev-type-checker
dev-type-checker
May 20, 2024 00:15 6m 41s
generative module system(wip) build and test #54: Commit d4df57f pushed by butterunderflow
May 20, 2024 00:15 7m 31s dev-type-checker
dev-type-checker
May 20, 2024 00:15 7m 31s
type checker build and test #53: Pull request #4 synchronize by butterunderflow
May 19, 2024 16:28 6m 34s dev-type-checker
dev-type-checker
May 19, 2024 16:28 6m 34s
generative module system(wip) build and test #52: Commit 22eff62 pushed by butterunderflow
May 19, 2024 16:28 6m 7s dev-type-checker
dev-type-checker
May 19, 2024 16:28 6m 7s
type checker build and test #51: Pull request #4 synchronize by butterunderflow
May 18, 2024 10:50 6m 14s dev-type-checker
dev-type-checker
May 18, 2024 10:50 6m 14s
add a index to indicate current typing module build and test #50: Commit c50862b pushed by butterunderflow
May 18, 2024 10:50 6m 1s dev-type-checker
dev-type-checker
May 18, 2024 10:50 6m 1s
type checker build and test #49: Pull request #4 synchronize by butterunderflow
May 17, 2024 16:02 11m 25s dev-type-checker
dev-type-checker
May 17, 2024 16:02 11m 25s
some placeholder for typing and test build and test #48: Commit 27722ae pushed by butterunderflow
May 17, 2024 16:02 11m 1s dev-type-checker
dev-type-checker
May 17, 2024 16:02 11m 1s
type checker build and test #47: Pull request #4 opened by butterunderflow
April 14, 2024 11:30 11m 20s dev-type-checker
dev-type-checker
April 14, 2024 11:30 11m 20s
fix typing pattern matching and tuple expression build and test #46: Commit b8f0494 pushed by butterunderflow
April 14, 2024 10:03 6m 10s dev-type-checker
dev-type-checker
April 14, 2024 10:03 6m 10s
typing expression and toplevel build and test #45: Commit d82f496 pushed by butterunderflow
April 13, 2024 20:12 6m 21s dev-type-checker
dev-type-checker
April 13, 2024 20:12 6m 21s
typing expression and toplevel build and test #44: Commit d8e0304 pushed by butterunderflow
April 13, 2024 20:03 11m 34s dev-type-checker
dev-type-checker
April 13, 2024 20:03 11m 34s
typing expression and toplevel build and test #43: Commit 35f80b4 pushed by butterunderflow
April 13, 2024 20:01 10m 50s dev-type-checker
dev-type-checker
April 13, 2024 20:01 10m 50s
normalization skeleton build and test #42: Commit 45bed47 pushed by butterunderflow
April 12, 2024 12:40 11m 33s dev-normalize
dev-normalize
April 12, 2024 12:40 11m 33s
normalization skeleton build and test #41: Commit cda9b67 pushed by butterunderflow
March 24, 2024 22:47 6m 30s dev-normalize
dev-normalize
March 24, 2024 22:47 6m 30s
ProTip! You can narrow down the results and go further in time using created:<2024-03-24 or the other filters available.