Skip to content

Actions: TimWhiting/koka

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Remove dead code: globalThis.kokaVFS, JS backend remnants, unused exp… Build Koka Playground #57: Commit 2d7bc2b pushed by TimWhiting
15m 27s feature/web-playground
feature/web-playground
15m 27s
Remove GHC JS platform, move playground under web/playground/ Build Koka Playground #56: Commit 44e4b5b pushed by TimWhiting
12m 31s feature/web-playground
feature/web-playground
12m 31s
Remove GHCJS backend support from playground Build Koka Playground #55: Commit 8598ac0 pushed by TimWhiting
3m 6s feature/web-playground
feature/web-playground
3m 6s
Fix hpack/alex cache: install to ~/.cabal/bin explicitly Build Koka Playground #54: Commit bcd4989 pushed by TimWhiting
16m 58s feature/web-playground
feature/web-playground
16m 58s
remove JS for now Build Koka Playground #53: Commit 303c58d pushed by TimWhiting
6m 27s feature/web-playground
feature/web-playground
6m 27s