Deploy #99
Triggered via workflow run
October 18, 2024 03:23
uncle-betty
uncle-betty
completed
2ec6b17
Status
Failure
Total duration
19m 12s
Artifacts
3
Annotations
1 error
|
deploy
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Agda-nightly-2ec6b17-linux.tar.xz
Expired
|
7.97 MB |
|
|
Agda-nightly-2ec6b17-macOS.tar.xz
Expired
|
21.4 MB |
|
|
Agda-nightly-2ec6b17-win64.zip
Expired
|
32.3 MB |
|