Skip to content

Actions: agda/agda-language-server

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yaml
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] Dependency of ghc-wasm-meta CI #86: Commit 0186b47 pushed by banacorn
24m 0s dev
dev
24m 0s
[ fix ] Dependency of ghc-wasm-meta CI #85: Commit 8d6568d pushed by banacorn
6m 36s dev
dev
6m 36s
[ change ][ ci ] Create dev release on either dev or ci branches CI #84: Commit f155b05 pushed by banacorn
1h 10m 2s dev
dev
1h 10m 2s
[ fix ] Update test.yaml WASM build to match wasm.yaml approach CI #83: Commit ce57c64 pushed by banacorn
2h 16m 44s dev
dev
2h 16m 44s
[ git ] Merge pull request #37 from agda-web/wasm-tinker CI #82: Commit 9ee766f pushed by banacorn
1h 53m 6s dev
dev
1h 53m 6s
[ git ] Merge pull request #37 from agda-web/wasm-tinker CI #81: Commit 9ee766f pushed by banacorn
2h 28m 32s master
master
2h 28m 32s
Update ALS WASM to build with Agda v2.8.0 CI #80: Pull request #37 synchronize by andy0130tw
13m 30s agda-web:wasm-tinker
agda-web:wasm-tinker
13m 30s
Update ALS WASM to build with Agda v2.8.0 CI #79: Pull request #37 synchronize by andy0130tw
15m 36s agda-web:wasm-tinker
agda-web:wasm-tinker
15m 36s
Update ALS WASM to build with Agda v2.8.0 CI #78: Pull request #37 synchronize by andy0130tw
1h 13m 55s agda-web:wasm-tinker
agda-web:wasm-tinker
1h 13m 55s
Update ALS WASM to build with Agda v2.8.0 CI #77: Pull request #37 synchronize by andy0130tw
50m 3s agda-web:wasm-tinker
agda-web:wasm-tinker
50m 3s
Update ALS WASM to build with Agda v2.8.0 CI #76: Pull request #37 synchronize by andy0130tw
50m 45s agda-web:wasm-tinker
agda-web:wasm-tinker
50m 45s
Update ALS WASM to build with Agda v2.8.0 CI #75: Pull request #37 synchronize by andy0130tw
38m 4s agda-web:wasm-tinker
agda-web:wasm-tinker
38m 4s
Update ALS WASM to build with Agda v2.8.0 CI #74: Pull request #37 synchronize by andy0130tw
32m 5s agda-web:wasm-tinker
agda-web:wasm-tinker
32m 5s
Update ALS WASM to build with Agda v2.8.0 CI #73: Pull request #37 synchronize by andy0130tw
1h 29m 45s agda-web:wasm-tinker
agda-web:wasm-tinker
1h 29m 45s
Update ALS WASM to build with Agda v2.8.0 CI #72: Pull request #37 synchronize by andy0130tw
1h 16m 24s agda-web:wasm-tinker
agda-web:wasm-tinker
1h 16m 24s
[ change ] Replace WASM git submodules with cabal source-repository-p… CI #71: Commit 270a9bf pushed by banacorn
1h 15m 32s master
master
1h 15m 32s
[ change ] Deprecate Agda-2.6.3 because it does not build with GHC 9.… CI #70: Commit de3a302 pushed by banacorn
1h 8m 7s ci
ci
1h 8m 7s
[ change ] Deprecate Agda-2.6.3 because it does not build with GHC 9.… CI #69: Commit 9da7679 pushed by banacorn
23s ci
ci
23s
[ git ] Merging from master with WASM stuff CI #68: Commit e48a2fc pushed by banacorn
6m 5s ci
ci
6m 5s
[ git ] Merge pull request #34 from agda-web/wasm-fix-compat CI #67: Commit 5b19b4f pushed by banacorn
6m 37s master
master
6m 37s
Fix broken build after #32 being merged CI #66: Pull request #34 opened by andy0130tw
6m 37s agda-web:wasm-fix-compat
agda-web:wasm-fix-compat
6m 37s
[ git ] Merge pull request #32 from agda-web/wasm CI #65: Commit 0c418fa pushed by banacorn
59m 21s master
master
59m 21s
Build WASM modules via cabal CI #59: Pull request #32 synchronize by andy0130tw
1h 25m 12s agda-web:wasm
agda-web:wasm
1h 25m 12s
[ new ] Command line option for printing version info CI #37: Commit 046e02b pushed by banacorn
1h 58m 3s v0.2.7.0.1.5
v0.2.7.0.1.5
1h 58m 3s
[ new ] Command line option for printing version info CI #36: Commit 046e02b pushed by banacorn
1h 2m 52s master
master
1h 2m 52s