Support for v2.7.0.1 (#224) #234
Annotations
3 warnings
|
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Build Agda (latest)
skip libicudata: not in [/usr/lib/libSystem.B.dylib, /usr/lib/libz.1.dylib, /usr/local/opt/icu4c/lib/libicuuc.74.dylib, /usr/local/opt/icu4c/lib/libicui18n.74.dylib, /usr/lib/libncurses.5.4.dylib, /usr/lib/libiconv.2.dylib, /usr/lib/libffi.dylib, /usr/lib/libcharset.1.dylib]
|
|
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "agda-2.7.0.1-arm64-macos-14-ghc9.8.2-icu74.2", "agda-2.7.0.1-x64-macos-12-ghc9.10.1-icu74.2", "agda-2.7.0.1-x64-ubuntu-20.04-ghc9.10.1-icu66.1", "agda-2.7.0.1-x64-ubuntu-22.04-ghc9.10.1-icu70.1", "agda-2.7.0.1-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/
|
Loading