Support Agda v2.7.0 (#218) #224
Annotations
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/
|
|
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "agda-2.7.0-arm64-macos-14-ghc9.8.2-icu74.2", "agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2", "agda-2.7.0-x64-ubuntu-20.04-ghc9.10.1-icu66.1", "agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1", "agda-2.7.0-x64-windows-2022-ghc9.10.1-icu75.1".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
This job succeeded
Loading