Skip to content

Actions: TimWhiting/koka

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add more keywords to avoid generating raw in output bundle #23: Commit 3ac4f00 pushed by TimWhiting
12m 31s dev
dev
12m 31s
Add more keywords to avoid generating raw in output Build Koka Playground #81: Commit 3ac4f00 pushed by TimWhiting
13m 48s dev
dev
13m 48s
fix invalid signatures in the task module bundle #22: Commit 8cc1745 pushed by TimWhiting
12m 44s dev
dev
12m 44s
fix invalid signatures in the task module Build Koka Playground #80: Commit 8cc1745 pushed by TimWhiting
12m 28s dev
dev
12m 28s
fix wrong borrow annotation bundle #21: Commit b7637b3 pushed by TimWhiting
43m 33s dev
dev
43m 33s
fix wrong borrow annotation Build Koka Playground #79: Commit b7637b3 pushed by TimWhiting
43m 49s dev
dev
43m 49s
infer: show implicit parameter names as written (#916) Build Koka Playground #78: Commit 569c6d5 pushed by TimWhiting
1m 32s dev
dev
1m 32s
infer: show implicit parameter names as written (#916) bundle #20: Commit 569c6d5 pushed by TimWhiting
1m 50s dev
dev
1m 50s
unpack: type annotation takes precedence over the parameter name bundle #19: Commit 710ae6c pushed by TimWhiting
45m 51s dev
dev
45m 51s
unpack: type annotation takes precedence over the parameter name Build Koka Playground #77: Commit 710ae6c pushed by TimWhiting
46m 24s dev
dev
46m 24s
fix #894 (#898) Build Koka Playground #76: Commit 429f578 pushed by TimWhiting
46m 13s dev
dev
46m 13s
fix #894 (#898) bundle #18: Commit 429f578 pushed by TimWhiting
49m 36s dev
dev
49m 36s
update isocline, fix wasm backend Build Koka Playground #75: Commit 461d066 pushed by TimWhiting
46m 8s dev
dev
46m 8s
update isocline, fix wasm backend bundle #17: Commit 461d066 pushed by TimWhiting
45m 16s dev
dev
45m 16s
fix bundle script Build Koka Playground #74: Commit f89e506 pushed by TimWhiting
12m 44s dev
dev
12m 44s
fix bundle script bundle #16: Commit f89e506 pushed by TimWhiting
13m 41s dev
dev
13m 41s
Copilot code review Copilot code review #1: by Copilot AI
8m 9s refs/pull/6/head
refs/pull/6/head
8m 9s
fix prefix/postfix identifiers; bump version to 3.2.5; see also PR #877 Build Koka Playground #73: Commit dd91082 pushed by TimWhiting
33m 46s dev
dev
33m 46s
fix prefix/postfix identifiers; bump version to 3.2.5; see also PR #877 bundle #15: Commit dd91082 pushed by TimWhiting
14m 34s dev
dev
14m 34s
fix embed compiler entry point, and lsp non-main entrypoints bundle #14: Commit 338bf4f pushed by TimWhiting
11m 55s dev
dev
11m 55s
fix embed compiler entry point, and lsp non-main entrypoints Build Koka Playground #72: Commit 338bf4f pushed by TimWhiting
13m 21s dev
dev
13m 21s
make kklib compatible with mimalloc v3 bundle #13: Commit 66883fe pushed by TimWhiting
44s dev
dev
44s
make kklib compatible with mimalloc v3 Build Koka Playground #71: Commit 66883fe pushed by TimWhiting
39s dev
dev
39s
fix doc bundle #12: Commit 2c6e2d0 pushed by TimWhiting
12m 40s dev
dev
12m 40s
fix doc Build Koka Playground #70: Commit 2c6e2d0 pushed by TimWhiting
12m 52s dev
dev
12m 52s