Skip to content

Actions: agda/agda-language-server

Actions

Compile WASM

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yaml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ change ] Replace WASM git submodules with cabal source-repository-p… Compile WASM #45: Commit 270a9bf pushed by banacorn
27m 0s wasm
wasm
27m 0s
[ change ] Replace WASM git submodules with cabal source-repository-p… Compile WASM #44: Commit f34a1ed pushed by banacorn
2m 30s wasm
wasm
2m 30s
[ change ] Replace WASM git submodules with cabal source-repository-p… Compile WASM #43: Commit ed26da6 pushed by banacorn
22m 9s wasm
wasm
22m 9s
[ change ] Replace WASM git submodules with cabal source-repository-p… Compile WASM #42: Commit 270a9bf pushed by banacorn
27m 17s wasm
wasm
27m 17s
[ change ] Replace WASM git submodules with cabal source-repository-p… Compile WASM #41: Commit 721695b pushed by banacorn
6s wasm
wasm
6s
[ change ] Replace WASM git submodules with cabal source-repository-p… Compile WASM #40: Commit b23d3e2 pushed by banacorn
6s wasm
wasm
6s
[ change ] Replace WASM git submodules with cabal source-repository-p… Compile WASM #39: Commit 26818b4 pushed by banacorn
17m 48s wasm
wasm
17m 48s
[ change ] Replace WASM git submodules with cabal source-repository-p… Compile WASM #38: Commit 48953b3 pushed by banacorn
2m 46s wasm
wasm
2m 46s
[ change ] Replace WASM git submodules with cabal source-repository-p… Compile WASM #37: Commit facefad pushed by banacorn
2m 32s wasm
wasm
2m 32s
[ change ] Replace WASM git submodules with cabal source-repository-p… Compile WASM #36: Commit 0ab8a84 pushed by banacorn
2m 57s wasm
wasm
2m 57s
[ change ] Replace WASM git submodules with cabal source-repository-p… Compile WASM #35: Commit 20703f5 pushed by banacorn
2m 48s wasm
wasm
2m 48s
[ new ] Dummy Test.WASM that only runs on wasm32-wasi-cabal test Compile WASM #34: Commit 5e52fe2 pushed by banacorn
26m 12s wasm
wasm
26m 12s
[ change ] Deprecate Agda-2.6.3 because it does not build with GHC 9.… Compile WASM #33: Commit de3a302 pushed by banacorn
14s ci
ci
14s
[ change ] Deprecate Agda-2.6.3 because it does not build with GHC 9.… Compile WASM #32: Commit 9da7679 pushed by banacorn
1m 54s ci
ci
1m 54s
[ git ] Merging from master with WASM stuff Compile WASM #31: Commit e48a2fc pushed by banacorn
3m 20s ci
ci
3m 20s
[ git ] Merge pull request #34 from agda-web/wasm-fix-compat Compile WASM #30: Commit 5b19b4f pushed by banacorn
11m 24s master
master
11m 24s
Fix broken build after #32 being merged Compile WASM #29: Pull request #34 opened by andy0130tw
11m 42s agda-web:wasm-fix-compat
agda-web:wasm-fix-compat
11m 42s
[ git ] Merge pull request #32 from agda-web/wasm Compile WASM #28: Commit 0c418fa pushed by banacorn
20m 44s master
master
20m 44s
Build WASM modules via cabal Compile WASM #22: Pull request #32 synchronize by andy0130tw
23m 31s agda-web:wasm
agda-web:wasm
23m 31s