Add a CLI option to let the server respond in JSON-interaction style #91
Triggered via pull request
October 22, 2025 16:05
andy0130tw
Status
Success
Total duration
1h 29m 29s
Artifacts
12
test.yaml
on: pull_request
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
als-Agda-2.6.4.3-macos-arm64
Expired
|
44.6 MB |
sha256:1a9057cf67a5073ee92748f6b534fb39a07544112fb118c915ca19354e4b948f
|
|
|
als-Agda-2.6.4.3-macos-x64
Expired
|
24.7 MB |
sha256:054bf30fc82dfaaa654e4e14f250b031725a0d36c10139ed17db442b1fb42335
|
|
|
als-Agda-2.6.4.3-ubuntu
Expired
|
18.6 MB |
sha256:51c3a51c9b51be9f650851d341bb999113aa48c9ab8593306c741b3ae81cc776
|
|
|
als-Agda-2.6.4.3-windows
Expired
|
36.1 MB |
sha256:9b4364a65ce43b88678b31b2a4d950195e6677e8eaec053257508910f9a7f7e8
|
|
|
als-Agda-2.7.0.1-macos-arm64
Expired
|
44.3 MB |
sha256:ffc91ab730870294e7e2cdef302437795e5aac7ac7fce27669f93cfddf5516c5
|
|
|
als-Agda-2.7.0.1-macos-x64
Expired
|
24.2 MB |
sha256:6765ff44242bd31adc53db6e38c164d452c8ecbddfeb945dc6b51202933421a0
|
|
|
als-Agda-2.7.0.1-ubuntu
Expired
|
18.1 MB |
sha256:a3e63a70cab6dfbbc196464dd2f6c57b7bdbac85a6149918ade695134b4c266f
|
|
|
als-Agda-2.7.0.1-windows
Expired
|
35.7 MB |
sha256:317e88381696297cdeb62893a01bbfa90ce98c27e15c15f1353c3868f64c30f9
|
|
|
als-Agda-2.8.0-macos-arm64
Expired
|
49.5 MB |
sha256:a8a0df863f4712a1e0280c1e1742ae21739c0a2a685e1ae126fe9ef2e21b4efb
|
|
|
als-Agda-2.8.0-macos-x64
Expired
|
27.4 MB |
sha256:0d97080a629edd1ba5fc6027e4fadf84e26f3931e0c8ef87723482f6779666f1
|
|
|
als-Agda-2.8.0-ubuntu
Expired
|
21.1 MB |
sha256:15557683bc0b71339d91e870862062d8ce153f5ac67e6a42441cf8872f147d65
|
|
|
als-Agda-2.8.0-windows
Expired
|
38.8 MB |
sha256:49d0f3dcc1e90e3cdc9b97fd75ed4804844096baa2a98de230cf460122cf37ba
|
|