Skip to content

Actions: agda/agda-language-server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
193 workflow runs
193 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Draft] Deeper integration with Agda: foundational work CI #97: Pull request #41 synchronize by nvarner
Action required nvarner:master
nvarner:master
Action required
[Draft] Deeper integration with Agda: foundational work CI #96: Pull request #41 synchronize by nvarner
Action required nvarner:master
nvarner:master
Action required
[Draft] Deeper integration with Agda: foundational work CI #95: Pull request #41 synchronize by nvarner
Action required nvarner:master
nvarner:master
Action required
[Draft] Deeper integration with Agda: foundational work CI #94: Pull request #41 synchronize by nvarner
Action required nvarner:master
nvarner:master
Action required
[Draft] Deeper integration with Agda: foundational work CI #93: Pull request #41 synchronize by nvarner
Action required nvarner:master
nvarner:master
Action required
[ git ] Merge pull request #40 from agda-web/raw-responses CI #92: Commit 57d45f7 pushed by banacorn
1h 17m 11s master
master
1h 17m 11s
Add a CLI option to let the server respond in JSON-interaction style CI #91: Pull request #40 opened by andy0130tw
1h 29m 29s agda-web:raw-responses
agda-web:raw-responses
1h 29m 29s
[ git ] Merge pull request #39 from agda-web/wasm-agda-setup CI #90: Commit df311b2 pushed by banacorn
5m 4s master
master
5m 4s
Add an option to run Agda setup if compiled with Agda v2.8.0 or later CI #89: Pull request #39 opened by andy0130tw
3h 19m 57s agda-web:wasm-agda-setup
agda-web:wasm-agda-setup
3h 19m 57s
[ git ] Refactor CI workflow and optimize caching (#38) CI #88: Commit 898e58f pushed by banacorn
3h 8m 20s master
master
3h 8m 20s
Refactor CI Workflow and Optimize Caching CI #87: Pull request #38 opened by banacorn
2h 20m 12s banacorn:dev
banacorn:dev
2h 20m 12s
[ 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