Deploy #72
Triggered via workflow run
September 1, 2023 09:49
uncle-betty
uncle-betty
completed
4c4cb86
Status
Failure
Total duration
19m 49s
Artifacts
3
Annotations
1 error and 2 warnings
|
deploy
Process completed with exit code 1.
|
|
build (9.4, ubuntu-20.04)
Input 'file' has been deprecated with message: Prefer "files" supporting globs instead of "file"
|
|
build (9.6, windows-latest)
Input 'file' has been deprecated with message: Prefer "files" supporting globs instead of "file"
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Agda-nightly-linux.tar.xz
Expired
|
13.5 MB |
|
|
Agda-nightly-macOS.tar.xz
Expired
|
14.7 MB |
|
|
Agda-nightly-win64.zip
Expired
|
28.4 MB |
|