Skip to content

Actions: TimWhiting/koka

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow runs
99 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
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
WIP: NameSet utilities and porting audit updates Lean Action CI #1: Commit dc5995c pushed by TimWhiting
27s lean-port
lean-port
27s
Copy Koka icons to playground public dir during deploy Build Koka Playground #69: Commit 2ae7b5e pushed by TimWhiting
44m 31s dev
dev
44m 31s
Copy Koka icons to playground public dir during deploy bundle #11: Commit 2ae7b5e pushed by TimWhiting
6m 40s dev
dev
6m 40s
Add web playground with React frontend and WASM compiler Build Koka Playground #68: Commit dc228cf pushed by TimWhiting
14m 44s feature/web-playground
feature/web-playground
14m 44s
Add web playground with React frontend and WASM compiler Build Koka Playground #67: Commit 52b42a0 pushed by TimWhiting
14m 49s feature/web-playground
feature/web-playground
14m 49s
Add web playground with React frontend and WASM compiler Build Koka Playground #66: Commit a50d51a pushed by TimWhiting
13m 52s feature/web-playground
feature/web-playground
13m 52s
Add web playground with React frontend and WASM compiler Build Koka Playground #65: Commit fb209a3 pushed by TimWhiting
3m 45s feature/web-playground
feature/web-playground
3m 45s
Add web playground with React frontend and WASM compiler Build Koka Playground #64: Commit 109455b pushed by TimWhiting
13m 30s feature/web-playground
feature/web-playground
13m 30s
Add web playground with React frontend and WASM compiler Build Koka Playground #63: Commit c29f37d pushed by TimWhiting
9m 9s feature/web-playground
feature/web-playground
9m 9s
Add web playground with React frontend and WASM compiler Build Koka Playground #62: Commit 586e36e pushed by TimWhiting
12m 17s feature/web-playground
feature/web-playground
12m 17s
Add web playground with React frontend and WASM compiler Build Koka Playground #61: Commit 59dfb96 pushed by TimWhiting
12m 54s feature/web-playground
feature/web-playground
12m 54s
Final cleanup: remove dead code, fix output pane height Build Koka Playground #60: Commit 5a51f7c pushed by TimWhiting
2m 46s feature/web-playground
feature/web-playground
2m 46s
Use path operators instead of string concatenation in playground.kk Build Koka Playground #59: Commit a870414 pushed by TimWhiting
8m 12s feature/web-playground
feature/web-playground
8m 12s
Load samples locally, remove GitHub API dependency, clean up build sc… Build Koka Playground #58: Commit 816650e pushed by TimWhiting
12m 31s feature/web-playground
feature/web-playground
12m 31s