Fix setup-legacy #295
Annotations
2 errors and 2 warnings
|
|
|
|
|
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Error: Rejected distribution for Agda 2.6.4.1 at https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip:
Could not download https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip: Not Found
|
This job failed
Loading