Skip to content

Actions: TimWhiting/koka

Actions

Build Koka Playground

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
playground.yml
75 workflow runs
75 workflow runs

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 #894 (#898) Build Koka Playground #76: Commit 429f578 pushed by TimWhiting
46m 13s dev
dev
46m 13s
update isocline, fix wasm backend Build Koka Playground #75: Commit 461d066 pushed by TimWhiting
46m 8s dev
dev
46m 8s
fix bundle script Build Koka Playground #74: Commit f89e506 pushed by TimWhiting
12m 44s dev
dev
12m 44s
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 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 Build Koka Playground #71: Commit 66883fe pushed by TimWhiting
39s dev
dev
39s
fix doc Build Koka Playground #70: Commit 2c6e2d0 pushed by TimWhiting
12m 52s dev
dev
12m 52s
Copy Koka icons to playground public dir during deploy Build Koka Playground #69: Commit 2ae7b5e pushed by TimWhiting
44m 31s dev
dev
44m 31s
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
Fix coi error, adjust options Build Koka Playground #52: Commit 94dbff2 pushed by TimWhiting
15m 28s feature/web-playground
feature/web-playground
15m 28s