Deploy #17
Triggered via workflow run
April 12, 2024 14:48
JobPetrovcic
completed
350f721
Status
Success
Total duration
21m 44s
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 |
|