Deploy #17
Triggered via workflow run
August 5, 2024 12:07
philderbeast
philderbeast
completed
a7edb85
Status
Failure
Total duration
15m 41s
Artifacts
3
Annotations
1 error
|
deploy
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Agda-nightly-a7edb85-linux.tar.xz
Expired
|
7.56 MB |
|
|
Agda-nightly-a7edb85-macOS.tar.xz
Expired
|
20.8 MB |
|
|
Agda-nightly-a7edb85-win64.zip
Expired
|
31.4 MB |
|