Deploy #81
Triggered via workflow run
December 12, 2023 14:36
uncle-betty
completed
8cf0bae
Status
Failure
Total duration
24m 13s
Artifacts
3
Annotations
1 error
deploy
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Agda-nightly-linux.tar.xz
Expired
|
12.8 MB |
|
Agda-nightly-macOS.tar.xz
Expired
|
14.2 MB |
|
Agda-nightly-win64.zip
Expired
|
31.2 MB |
|