Deploy #79
Triggered via workflow run
October 29, 2023 20:20
uncle-betty
completed
1630aee
Status
Failure
Total duration
27m 40s
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.8, 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
|
12.7 MB |
|
Agda-nightly-macOS.tar.xz
Expired
|
14.1 MB |
|
Agda-nightly-win64.zip
Expired
|
31.4 MB |
|