Skip to content

Actions: agda-web/agda-wasm-dist

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 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
Bump ghc-wasm-meta with ghc v9.10.3 Create and publish Agda WASM #69: Commit a60a5ec pushed by andy0130tw
34s v2.8.0-ghc9.10.3-r0
v2.8.0-ghc9.10.3-r0
34s
Bump ghc-wasm-meta with ghc v9.10.3 Create and publish Agda WASM #68: Commit a60a5ec pushed by andy0130tw
27m 15s master
master
27m 15s
Fix cabal config selection for ghc 9.14 Create and publish Agda WASM #67: Commit b6f9f63 pushed by andy0130tw
23s master
master
23s
Update setup-ghc-wasm.py to match upstream Create and publish Agda WASM #66: Commit 6218bff pushed by andy0130tw
32m 2s master
master
32m 2s
Update flags setup-ghc-wasm.py to disable tail-calls Create and publish Agda WASM #65: Commit 2ad9e87 pushed by andy0130tw
32m 4s master
master
32m 4s
Rebase the update to setup script Create and publish Agda WASM #64: Commit 251868d pushed by andy0130tw
35m 45s master
master
35m 45s
Allow workflow to be dispatched manually Create and publish Agda WASM #63: Commit 42878a4 pushed by andy0130tw
27m 30s v2.6.4.3-r1-ghc9.10.1-r5
v2.6.4.3-r1-ghc9.10.1-r5
27m 30s
Create and publish Agda WASM Create and publish Agda WASM #62: Manually run by andy0130tw
27m 22s agda-2.7.0.1
agda-2.7.0.1
27m 22s
Create and publish Agda WASM Create and publish Agda WASM #61: Manually run by andy0130tw
27s agda-2.7.0.1
agda-2.7.0.1
27s
Create and publish Agda WASM Create and publish Agda WASM #60: Manually run by andy0130tw
29m 25s agda-2.6.4.3-r1
agda-2.6.4.3-r1
29m 25s
Allow workflow to be dispatched manually Create and publish Agda WASM #59: Commit 93c7b49 pushed by andy0130tw
2m 56s master
master
2m 56s
Reenable GitRev Create and publish Agda WASM #58: Commit 455e852 pushed by andy0130tw
26m 43s v2.7.0.1-ghc9.10.1-r1
v2.7.0.1-ghc9.10.1-r1
26m 43s
Add flag use-xdg-data-home Create and publish Agda WASM #57: Commit 8ae546d pushed by andy0130tw
34m 12s master
master
34m 12s
Release Agda 2.8.0 Create and publish Agda WASM #56: Commit b9b9007 pushed by andy0130tw
53s v2.8.0-ghc9.10.2-r0
v2.8.0-ghc9.10.2-r0
53s
Download nodejs Create and publish Agda WASM #55: Commit cb113cd pushed by andy0130tw
27m 41s master
master
27m 41s
Update patch source-side from v2.8.0-release to v2.8.0 Create and publish Agda WASM #51: Commit 2c11a1d pushed by andy0130tw
8m 19s master
master
8m 19s
Fix local Docker base image name Create and publish Agda WASM #50: Commit f8b624e pushed by andy0130tw
51s master
master
51s
Update Agda to 2.8.0 and bump ghc-wasm-meta to use ghc 9.10.2 Create and publish Agda WASM #49: Commit da18fc5 pushed by andy0130tw
20s master
master
20s
Disable GitRev despite TH support Create and publish Agda WASM #48: Commit 0fa57a5 pushed by andy0130tw
33s v2.7.0.1-ghc9.10.1-r0
v2.7.0.1-ghc9.10.1-r0
33s
Disable GitRev despite TH support Create and publish Agda WASM #47: Commit 0fa57a5 pushed by andy0130tw
26m 43s master
master
26m 43s
Bump setup-ghc-wasm.py Create and publish Agda WASM #46: Commit 322b411 pushed by andy0130tw
10m 26s master
master
10m 26s
Bump setup-ghc-wasm.py Create and publish Agda WASM #45: Commit 7483928 pushed by andy0130tw
1m 28s master
master
1m 28s
Bump ghc-wasm-meta to Jul 2025 Create and publish Agda WASM #44: Commit cbd44b1 pushed by andy0130tw
18m 3s master
master
18m 3s
Build v2.7.0.1 Create and publish Agda WASM #43: Commit 7dcd713 pushed by andy0130tw
19m 28s master
master
19m 28s