Support for v2.7.0.1 (#224) #234
wenkokkeAnnotations
7 warnings
|
Build Agda (latest) on macos-14 with Cabal
Support for arm64 is experimental
|
|
Build Agda (latest) on macos-14 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.8.2
|
|
Build Agda (latest) on macos-14 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.8.2
|
|
Build Agda (latest) on macos-14 with Cabal
skip libicudata: not in [/usr/lib/libSystem.B.dylib, /usr/lib/libz.1.dylib, /opt/homebrew/opt/icu4c/lib/libicuuc.74.dylib, /opt/homebrew/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]
|
|
Build Agda (latest) on macos-12 with Cabal
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) on macos-12 with Cabal
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]
|
|
Deprecation notice: v1, v2, and v3 of the artifact actions
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/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
agda-2.7.0.1-arm64-macos-14-ghc9.8.2-icu74.2
Expired
|
204 MB |
|
|
agda-2.7.0.1-x64-macos-12-ghc9.10.1-icu74.2
Expired
|
112 MB |
|
|
agda-2.7.0.1-x64-ubuntu-20.04-ghc9.10.1-icu66.1
Expired
|
50.7 MB |
|
|
agda-2.7.0.1-x64-ubuntu-22.04-ghc9.10.1-icu70.1
Expired
|
52.3 MB |
|
|
agda-2.7.0.1-x64-windows-2022-ghc9.10.1-icu75.1
Expired
|
156 MB |
|