Support Agda v2.7.0 #280
wenkokkesetup-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
98 errors
|
Setup Agda (2.5.3) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.5.3) on macos-12
A task was canceled.
|
|
Setup Agda (2.6.2.2) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.2) on ubuntu-20.04
The operation was canceled.
|
|
Setup Agda (2.5.2) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.5.2) on macos-12
The operation was canceled.
|
|
Setup Agda (2.5.3) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.5.2) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.5.4.2) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.0.1) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4.1) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.3) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.2) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.1) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4.3) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4.1) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.1) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.1.3) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.2) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4.3) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.1.3) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.3) on macos-11
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4) on macos-14
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4.3) on macos-14
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.3) on macos-14
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4.1) on macos-14
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.3) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.2) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.0.1) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.0.1) on macos-12
The operation was canceled.
|
|
Setup Agda (2.6.0.1) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.0.1) on ubuntu-20.04
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/218/merge' exists
|
|
Setup Agda (2.6.2.1) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.2) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.3) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.5.4.2) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.5.4.2) on ubuntu-20.04
The operation was canceled.
|
|
Setup Agda (2.6.1.3) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.1.3) on ubuntu-20.04
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/218/merge' exists
|
|
Setup Agda (2.6.4) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.2) with access to /bin/echo
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4.3) on windows-2022
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.2) with agda-categories (0.1.7.1)
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.2) with agda-categories (0.1.7.1)
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4) on ubuntu-20.04
The operation was canceled.
|
|
Setup Agda (2.5.4.2) on macos-12
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.3) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.3) on ubuntu-20.04
The operation was canceled.
|
|
Setup Agda (2.5.4.2) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.5.4.2) on ubuntu-22.04
The operation was canceled.
|
|
Setup Agda (2.6.2.1) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.1) on ubuntu-22.04
The operation was canceled.
|
|
Setup Agda (2.6.4.1) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4.1) on ubuntu-20.04
The operation was canceled.
|
|
Setup Agda (2.5.3) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.5.3) on ubuntu-20.04
The operation was canceled.
|
|
Setup Agda (2.5.2) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.5.2) on ubuntu-20.04
The operation was canceled.
|
|
Setup Agda (2.6.2.1) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.1) on ubuntu-20.04
The operation was canceled.
|
|
Setup Agda (2.5.3) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.5.3) on ubuntu-22.04
The operation was canceled.
|
|
Setup Agda (2.6.4.3) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4.3) on ubuntu-20.04
The operation was canceled.
|
|
Setup Agda (2.5.2) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2) on ubuntu-20.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4) on ubuntu-22.04
The operation was canceled.
|
|
Setup Agda (2.6.2.2) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.2) on ubuntu-22.04
The operation was canceled.
|
|
Setup Agda (2.6.2) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2) on ubuntu-22.04
The operation was canceled.
|
|
Setup Agda (2.6.4.3) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4.3) on ubuntu-22.04
The operation was canceled.
|
|
Setup Agda (2.6.4.1) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.3) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.3) on ubuntu-22.04
The operation was canceled.
|
|
Setup Agda (2.6.4.1) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.1.3) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4.1) on ubuntu-22.04
The operation was canceled.
|
|
Setup Agda (2.6.1.3) on ubuntu-22.04
The operation was canceled.
|
|
Setup Agda (2.6.0.1) on ubuntu-22.04
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.2.1) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.0.1) on ubuntu-22.04
The operation was canceled.
|
|
Setup Agda (2.6.2.1) on windows-2019
The operation was canceled.
|
|
Setup Agda (2.6.4) on windows-2019
Canceling since a higher priority waiting request for 'setup legacy-refs/pull/218/merge' exists
|
|
Setup Agda (2.6.4) on windows-2019
The operation was canceled.
|