build nightly #262
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
10 warnings
Build Agda (nightly) on ubuntu-22.04
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.5
|
Build Agda (nightly) on ubuntu-22.04
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.5
|
Build Agda (nightly) on ubuntu-20.04
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.5
|
Build Agda (nightly) on ubuntu-20.04
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.5
|
Build Agda (nightly) on windows-2022
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.5
|
Build Agda (nightly) on windows-2022
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.5
|
Build Agda (nightly) on macos-11
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.5
|
Build Agda (nightly) on macos-11
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.5
|
Build Agda (nightly) on macos-12
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.5
|
Build Agda (nightly) on macos-12
cabal-plan: WARNING: couldn't find metadata for ghc-boot-th-9.4.5
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
agda-HEAD-x64-macos-11-ghc9.4.5-cabal3.8.1.0
Expired
|
68.3 MB |
|
agda-HEAD-x64-macos-12-ghc9.4.5-cabal3.8.1.0
Expired
|
68.3 MB |
|
agda-HEAD-x64-ubuntu-20.04-ghc9.4.5-cabal3.8.1.0
Expired
|
120 MB |
|
agda-HEAD-x64-ubuntu-22.04-ghc9.4.5-cabal3.8.1.0
Expired
|
120 MB |
|
agda-HEAD-x64-windows-10-ghc9.4.5-cabal3.8.1.0
Expired
|
118 MB |
|