Deploy #98
Triggered via workflow run
September 16, 2024 14:35
uncle-betty
completed
59c0417
Status
Failure
Total duration
22m 31s
Artifacts
3
Annotations
1 error
deploy
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Agda-nightly-59c0417-linux.tar.xz
Expired
|
7.92 MB |
|
Agda-nightly-59c0417-macOS.tar.xz
Expired
|
21.3 MB |
|
Agda-nightly-59c0417-win64.zip
Expired
|
32.2 MB |
|