Add an option to run Agda setup if compiled with Agda v2.8.0 or later #89
Triggered via pull request
October 12, 2025 14:35
andy0130tw
Status
Success
Total duration
3h 19m 57s
Artifacts
12
test.yaml
on: pull_request
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
als-Agda-2.6.4.3-macos-arm64
Expired
|
44.5 MB |
sha256:cd125dc88a96e313065e49ceac3a843bddbd16fca85bfa94c961655ab7a9d0f1
|
|
|
als-Agda-2.6.4.3-macos-x64
Expired
|
24.6 MB |
sha256:a74fe1f8cce6657b0c6908839a0b63a615c49566ca112ad1f61000a385165c68
|
|
|
als-Agda-2.6.4.3-ubuntu
Expired
|
18.5 MB |
sha256:deec76d52a5562a0ba8c85b034bd808a252c646e5faeb2ce85159a1414da23fa
|
|
|
als-Agda-2.6.4.3-windows
Expired
|
36.1 MB |
sha256:cdf056345ff5b7138a9f3d5fcafb64b0a02361de5fcfa199da67fb326ebaad43
|
|
|
als-Agda-2.7.0.1-macos-arm64
Expired
|
44.2 MB |
sha256:188c8b59862d035653cff7b22e7345749428b96e84ee2c2708b3c3599e83ef8f
|
|
|
als-Agda-2.7.0.1-macos-x64
Expired
|
24.1 MB |
sha256:58da6d8a4e086668b1a7e307269c001d8c360bb294e1b2c5dbf1ee0b0bab5e72
|
|
|
als-Agda-2.7.0.1-ubuntu
Expired
|
18.1 MB |
sha256:984fb308c99ad188f7bcb562ee79163961850130b539ade0fce9ceecb4e1d50d
|
|
|
als-Agda-2.7.0.1-windows
Expired
|
35.6 MB |
sha256:c7120856ed41cd78ce066dcaac3b33b2ea88b0464d4b30c866ce1a2e152f814d
|
|
|
als-Agda-2.8.0-macos-arm64
Expired
|
49.4 MB |
sha256:b0f69a870cc8f22e5655a15d1aa4df049e62db497c814f3520cbf4c84b08105a
|
|
|
als-Agda-2.8.0-macos-x64
Expired
|
27.3 MB |
sha256:e1a90bfad9ab07c2cea1494843949598430985ad1026a372f9597c5a4c5aee15
|
|
|
als-Agda-2.8.0-ubuntu
Expired
|
21.1 MB |
sha256:2356e620db98d8d40dcb250058071fac1052c48c7d9dafafead9edf7764cf62a
|
|
|
als-Agda-2.8.0-windows
Expired
|
38.7 MB |
sha256:82902bb3624fb04420c835796a2a24ec7902fb92d5a6d93e1541e79444345967
|
|