Skip to content

Actions: agda-web/agda-language-server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 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
[ ci ] Avoid tag-scoped cache saves CI #18: Commit 109517c pushed by andy0130tw
1h 39m 1s master
master
1h 39m 1s
Bump actions Compile WASM #59: Commit d1ef36e pushed by andy0130tw
24m 55s wasm
wasm
24m 55s
Bump ghc-wasm-meta commit in CI Compile WASM #58: Commit f5c8b0f pushed by andy0130tw
5m 57s wasm
wasm
5m 57s
[ fix ][ ci ] Use direct hpack binary for cabal drift check CI #17: Commit 5680316 pushed by andy0130tw
2h 20m 41s master
master
2h 20m 41s
Experiment on zstd CI #16: Commit 5a6391b pushed by andy0130tw
43m 27s ci
ci
43m 27s
Experiment on zstd CI #15: Commit 1393177 pushed by andy0130tw
1h 10m 25s ci
ci
1h 10m 25s
[ git ] Merge pull request #40 from agda-web/raw-responses CI #14: Commit 57d45f7 pushed by andy0130tw
1h 15m 24s ci
ci
1h 15m 24s
[ git ] Refactor CI workflow and optimize caching (#38) CI #13: Commit 898e58f pushed by andy0130tw
8m 53s ci
ci
8m 53s
Bump ghc-wasm-meta commit in CI Compile WASM #57: Commit 297653d pushed by andy0130tw
24m 58s wasm
wasm
24m 58s
[ git ] Merge pull request #40 from agda-web/raw-responses Compile WASM #56: Commit 57d45f7 pushed by andy0130tw
25m 8s wasm
wasm
25m 8s
[ git ] Merge pull request #40 from agda-web/raw-responses CI #12: Commit 57d45f7 pushed by andy0130tw
2h 22m 36s master
master
2h 22m 36s
Remove all response converter, just use output of JSON backend Compile WASM #55: Commit e65419f pushed by andy0130tw
24m 47s wasm-only-raw-responses
wasm-only-raw-responses
24m 47s
[ git ] Merge pull request #39 from agda-web/wasm-agda-setup CI #11: Commit df311b2 pushed by andy0130tw
1h 56m 56s master
master
1h 56m 56s
Add an option to allow running Agda setup in v2.8.0 Compile WASM #54: Commit 14f0847 pushed by andy0130tw
4m 12s wasm-agda-setup
wasm-agda-setup
4m 12s
Add an option to allow running Agda setup in v2.8.0 Compile WASM #53: Commit fe10085 pushed by andy0130tw
25m 17s wasm-agda-setup
wasm-agda-setup
25m 17s
[ fix ] Dependency of ghc-wasm-meta Compile WASM #52: Commit 0186b47 pushed by andy0130tw
2m 42s wasm-agda-setup
wasm-agda-setup
2m 42s
Update WASM workflow's trigger condition CI #10: Commit e8b28f2 pushed by andy0130tw
1h 49m 26s ci
ci
1h 49m 26s
Update WASM workflow's trigger condition Compile WASM #51: Commit e8b28f2 pushed by andy0130tw
25m 5s ci
ci
25m 5s
[ git ] Merge pull request #37 from agda-web/wasm-tinker CI #9: Commit 9ee766f pushed by andy0130tw
37s ci
ci
37s
[ git ] Merge pull request #37 from agda-web/wasm-tinker CI #8: Commit 9ee766f pushed by andy0130tw
51s master
master
51s
Fix version name typo Compile WASM #50: Commit 7c8e67b pushed by andy0130tw
24m 59s wasm-tinker
wasm-tinker
24m 59s
Unify version string with a suffix for WASM builds Compile WASM #49: Commit 1e87f06 pushed by andy0130tw
4m 3s wasm-tinker
wasm-tinker
4m 3s
Add version suffix to artifact names Compile WASM #48: Commit 925e5bd pushed by andy0130tw
25m 12s wasm-tinker
wasm-tinker
25m 12s
Add version suffix to artifact names Compile WASM #47: Commit 361b2f2 pushed by andy0130tw
2m 43s wasm-tinker
wasm-tinker
2m 43s
Fix using lsp not taking effect in CI Compile WASM #46: Commit a28b0f2 pushed by andy0130tw
13m 51s wasm-tinker
wasm-tinker
13m 51s