Support for v2.7.0.1 #299
Triggered via pull request
October 19, 2024 11:42
wenkokke
Status
Cancelled
Total duration
3m 47s
Artifacts
–
setup-legacy.yml
on: pull_request
Matrix: setup-legacy
Matrix: setup-with-access-to-echo
Matrix: setup-with-agda-categories
Matrix: setup-with-agda-stdlib
Annotations
57 errors and 8 warnings
|
Setup Agda (2.7.0.1) on ubuntu-20.04
Error: Could not find a binary distribution for x64-linux
|
|
Setup Agda (2.7.0.1) on ubuntu-20.04
Error: All installation methods have failed
|
|
Setup Agda (2.7.0.1) on ubuntu-22.04
Error: Could not find a binary distribution for x64-linux
|
|
Setup Agda (2.7.0.1) on ubuntu-22.04
Error: All installation methods have failed
|
|
Setup Agda (2.7.0.1) on windows-2019
Error: Could not find a binary distribution for x64-windows
|
|
Setup Agda (2.7.0.1) on windows-2019
Error: All installation methods have failed
|
|
Setup Agda (2.7.0.1) on windows-2022
Error: Could not find a binary distribution for x64-windows
|
|
Setup Agda (2.7.0.1) on windows-2022
Error: All installation methods have failed
|
|
Setup Agda (2.6.4) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.7.0) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.7.0) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.7.0.1) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.4) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.4.3) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.2.2) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.7.0.1) on macos-14
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.4.1) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.4.3) on macos-14
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.7.0) on macos-14
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.3) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.3) on macos-12
The operation was canceled.
|
|
Setup Agda (2.6.4) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.4) on windows-2022
The operation was canceled.
|
|
Setup Agda (2.6.4.3) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.4.3) on windows-2019
The operation was canceled.
|
|
Setup Agda (2.6.2.1) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.2.1) on windows-2022
The operation was canceled.
|
|
Setup Agda (2.6.4.3) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.4.3) on windows-2022
The operation was canceled.
|
|
Setup Agda (2.6.3) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.3) on windows-2022
The operation was canceled.
|
|
Setup Agda (2.7.0) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.7.0) on windows-2022
The operation was canceled.
|
|
Setup Agda (2.6.2.2) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.2.2) on windows-2019
The operation was canceled.
|
|
Setup Agda (2.6.2) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.2) on windows-2019
The operation was canceled.
|
|
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
The operation was canceled.
|
|
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
The operation was canceled.
|
|
Setup Agda (2.6.2.1) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.2.1) on windows-2019
The operation was canceled.
|
|
Setup Agda (2.6.2.2) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.2.2) on windows-2022
The operation was canceled.
|
|
Setup Agda (2.6.2) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.2) on windows-2022
The operation was canceled.
|
|
Setup Agda (2.6.4) on macos-14
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.4) on macos-14
The operation was canceled.
|
|
Setup Agda (2.6.4.1) on macos-14
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.4.1) on macos-14
The operation was canceled.
|
|
Setup Agda (2.6.2.1) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.2.1) on macos-12
The operation was canceled.
|
|
Setup Agda (2.6.2) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.2) on macos-12
The operation was canceled.
|
|
Setup Agda (2.6.4.1) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/224/merge' exists
|
|
Setup Agda (2.6.4.1) on windows-2022
The operation was canceled.
|
|
Setup Agda (2.5.2) on macos-12
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
|
|
Setup Agda (2.5.3) on macos-12
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
|
|
Setup Agda (2.5.4.2) on macos-12
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
|
|
Setup Agda (2.6.0.1) on macos-12
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
|
|
Setup Agda (2.6.3) on macos-14
Support for arm64 is experimental
|
|
Setup Agda (2.6.1.3) on macos-12
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
|
|
Setup Agda (2.6.4) on macos-14
Support for arm64 is experimental
|
|
Setup Agda (2.6.4.1) on macos-14
Support for arm64 is experimental
|