Support Agda v2.7.0 #216
pre-commit-ci[bot]Annotations
1 error and 6 warnings
|
Build Agda (latest) on macos-11 with Cabal
The run was canceled by @wenkokke.
|
|
Build Agda (latest) on windows-2022 with Cabal
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, ./. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Build Agda (latest) on ubuntu-20.04 with Cabal
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, ./. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Build Agda (latest) on ubuntu-22.04 with Cabal
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, ./. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Build Agda (latest) on macos-12 with Cabal
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, ./. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
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-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/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2
Expired
|
112 MB |
|
|
agda-2.7.0-x64-ubuntu-20.04-ghc9.10.1-icu66.1
Expired
|
50.7 MB |
|
|
agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1
Expired
|
52.3 MB |
|
|
agda-2.7.0-x64-windows-2022-ghc9.10.1-icu75.1
Expired
|
156 MB |
|