Deploy #23
Triggered via workflow run
April 12, 2024 15:39
JobPetrovcic
JobPetrovcic
completed
b430f9d
Status
Success
Total duration
16m 36s
Artifacts
3
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Agda-nightly-linux.tar.xz
Expired
|
12.8 MB |
|
|
Agda-nightly-macOS.tar.xz
Expired
|
14.1 MB |
|
|
Agda-nightly-win64.zip
Expired
|
30.9 MB |
|