Skip to content

Actions: tweag/ghc-wasm-miso-examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test and document non-nix build build #30: Pull request #12 synchronize by TerrorJack
April 18, 2024 21:34 9m 5s develop
develop
April 18, 2024 21:34 9m 5s
Test and document non-nix build build #29: Pull request #12 synchronize by TerrorJack
April 18, 2024 21:19 9m 12s develop
develop
April 18, 2024 21:19 9m 12s
Test and document non-nix build build #28: Pull request #12 synchronize by TerrorJack
April 18, 2024 18:39 8m 37s develop
develop
April 18, 2024 18:39 8m 37s
Test and document non-nix build build #27: Pull request #12 opened by TerrorJack
April 18, 2024 17:56 8m 54s develop
develop
April 18, 2024 17:56 8m 54s
Remove unused stuff in nix shell build #26: Commit 3045def pushed by github-merge-queue bot
April 15, 2024 11:47 9m 29s main
main
April 15, 2024 11:47 9m 29s
Use ghc-head & head.hackage again build #25: Pull request #9 synchronize by TerrorJack
April 15, 2024 11:37 9m 14s develop
develop
April 15, 2024 11:37 9m 14s
Use ghc-head & head.hackage again build #24: Pull request #9 opened by TerrorJack
April 15, 2024 11:22 2m 17s develop
develop
April 15, 2024 11:22 2m 17s
Bump browser_wasi_shim build #23: Commit 98eb4bc pushed by github-merge-queue bot
April 9, 2024 10:20 9m 20s main
main
April 9, 2024 10:20 9m 20s
Bump browser_wasi_shim build #22: Pull request #8 opened by TerrorJack
April 9, 2024 10:09 9m 2s develop
develop
April 9, 2024 10:09 9m 2s
Update README for GHC 9.10 build #21: Commit 88a753d pushed by amesgen
March 25, 2024 17:06 9m 5s main
main
March 25, 2024 17:06 9m 5s
Use GHC 9.10 build #20: Commit 50e09d5 pushed by github-merge-queue bot
March 25, 2024 17:00 8m 47s main
main
March 25, 2024 17:00 8m 47s
Use GHC 9.10 build #19: Pull request #7 opened by amesgen
March 25, 2024 16:49 9m 24s ghc-9.10
ghc-9.10
March 25, 2024 16:49 9m 24s
Use wizer to pre-initialize wasm artifact build #18: Commit dffa71f pushed by github-merge-queue bot
March 11, 2024 19:22 7m 53s main
main
March 11, 2024 19:22 7m 53s
Use wizer to pre-initialize wasm artifact build #17: Pull request #6 opened by TerrorJack
March 11, 2024 13:59 7m 39s develop
develop
March 11, 2024 13:59 7m 39s
Bump flake build #16: Commit 5d66972 pushed by github-merge-queue bot
March 4, 2024 11:21 7m 30s main
main
March 4, 2024 11:21 7m 30s
Bump jsaddle-wasm build #15: Pull request #5 opened by TerrorJack
March 4, 2024 11:11 7m 50s develop
develop
March 4, 2024 11:11 7m 50s
Prefer CDN over esbuild build #14: Commit 22d96cc pushed by github-merge-queue bot
February 26, 2024 08:09 7m 46s main
main
February 26, 2024 08:09 7m 46s
Bump & a bit of yak shaving build #13: Pull request #4 synchronize by TerrorJack
February 26, 2024 08:01 7m 56s develop
develop
February 26, 2024 08:01 7m 56s
Bump & a bit of yak shaving build #12: Pull request #4 opened by TerrorJack
February 26, 2024 07:45 7m 29s develop
develop
February 26, 2024 07:45 7m 29s
Prefer head.hackage packages build #11: Commit beb58b5 pushed by github-merge-queue bot
February 22, 2024 11:38 7m 32s main
main
February 22, 2024 11:38 7m 32s
Prefer head.hackage packages build #10: Pull request #3 opened by TerrorJack
February 22, 2024 11:25 7m 42s prefer-head-hackage
prefer-head-hackage
February 22, 2024 11:25 7m 42s
Add README build #9: Commit c454313 pushed by github-merge-queue bot
February 20, 2024 22:53 8m 11s main
main
February 20, 2024 22:53 8m 11s
Deploy to GitHub pages build #8: Pull request #2 synchronize by TerrorJack
February 20, 2024 22:49 7m 50s develop
develop
February 20, 2024 22:49 7m 50s
build build #7: Manually run by TerrorJack
February 20, 2024 22:13 8m 5s develop
develop
February 20, 2024 22:13 8m 5s
Deploy to GitHub pages build #4: Pull request #2 opened by TerrorJack
February 20, 2024 21:36 7m 26s develop
develop
February 20, 2024 21:36 7m 26s