Support agda-stdlib v2.0 #182
wenkokkeAnnotations
30 warnings
|
Build Agda (latest) on windows-2022 with Cabal
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Build Agda (latest) on windows-2022 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on windows-2022 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
|
Build Agda (latest) on windows-2022 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on windows-2022 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
|
Build Agda (latest) on ubuntu-20.04 with Cabal
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Build Agda (latest) on ubuntu-20.04 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on ubuntu-20.04 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
|
Build Agda (latest) on ubuntu-20.04 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on ubuntu-20.04 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
|
Build Agda (latest) on ubuntu-22.04 with Cabal
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Build Agda (latest) on ubuntu-22.04 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on ubuntu-22.04 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
|
Build Agda (latest) on ubuntu-22.04 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on ubuntu-22.04 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
|
Build Agda (latest) on macos-13 with Cabal
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Build Agda (latest) on macos-13 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on macos-13 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
|
Build Agda (latest) on macos-13 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on macos-13 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
|
Build Agda (latest) on macos-11 with Cabal
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Build Agda (latest) on macos-11 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on macos-11 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
|
Build Agda (latest) on macos-11 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on macos-11 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
|
Build Agda (latest) on macos-12 with Cabal
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Build Agda (latest) on macos-12 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on macos-12 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
|
Build Agda (latest) on macos-12 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.7
|
|
Build Agda (latest) on macos-12 with Cabal
cabal-plan: WARNING: couldn't find metadata for ghc-prim-0.9.1
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2
Expired
|
110 MB |
|
|
agda-2.6.4.1-x64-macos-12-ghc9.4.7-icu73.2
Expired
|
110 MB |
|
|
agda-2.6.4.1-x64-macos-13-ghc9.4.7-icu73.2
Expired
|
110 MB |
|
|
agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1
Expired
|
57.5 MB |
|
|
agda-2.6.4.1-x64-ubuntu-22.04-ghc9.4.7-icu70.1
Expired
|
59.1 MB |
|
|
agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.2
Expired
|
151 MB |
|