Skip to content
setup legacy

Support Agda v2.7.0 #285

Sign in to view logs

Support Agda v2.7.0

Support Agda v2.7.0 #285

Triggered via pull request August 20, 2024 17:40
@pre-commit-cipre-commit-ci[bot]
synchronize #218
agda-v2.7.0
Status Cancelled
Total duration 34m 52s
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
Fit to window
Zoom out
Zoom in

Annotations

8 errors and 58 warnings
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.2.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 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-12
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.7.0) 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-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.5.2) on ubuntu-22.04
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/
Setup Agda (2.5.2) on ubuntu-20.04
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/
Setup Agda (2.5.3) on ubuntu-20.04
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/
Setup Agda (2.5.3) on ubuntu-22.04
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/
Setup Agda (2.5.3) on macos-12
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/
Setup Agda (2.5.2) on macos-12
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/
Setup Agda (2.6.2.2) with access to /bin/echo
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/
Setup Agda (2.5.4.2) on ubuntu-22.04
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/
Setup Agda (2.6.2.2) with agda-categories (0.1.7.1)
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/
Setup Agda (2.5.4.2) on ubuntu-20.04
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/
Setup Agda (2.6.2.2) with agda-categories (0.1.7.1)
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/
Setup Agda (2.5.4.2) on macos-12
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/
Setup Agda (2.6.0.1) on ubuntu-20.04
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/
Setup Agda (2.6.0.1) on ubuntu-22.04
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/
Setup Agda (2.6.4) on macos-14
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/
Setup Agda (2.6.4) on macos-14
Support for arm64 is experimental
Setup Agda (2.6.3) on ubuntu-20.04
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/
Setup Agda (2.6.3) on ubuntu-22.04
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/
Setup Agda (2.6.3) on macos-14
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/
Setup Agda (2.6.3) on macos-14
Support for arm64 is experimental
Setup Agda (2.6.4) on ubuntu-20.04
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/
Setup Agda (2.7.0) on ubuntu-20.04
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/
Setup Agda (2.6.1.3) on ubuntu-20.04
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/
Setup Agda (2.6.1.3) on ubuntu-22.04
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/
Setup Agda (2.6.4.3) on ubuntu-20.04
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/
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
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/
Setup Agda (2.6.4) on ubuntu-22.04
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/
Setup Agda (2.6.2.2) on ubuntu-20.04
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/
Setup Agda (2.6.2.2) on ubuntu-22.04
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/
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
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/
Setup Agda (2.6.4.3) on ubuntu-22.04
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/
Setup Agda (2.7.0) on ubuntu-22.04
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/
Setup Agda (2.6.4.1) on ubuntu-22.04
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/
Setup Agda (2.6.4.1) on ubuntu-20.04
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/
Setup Agda (2.6.2) on ubuntu-20.04
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/
Setup Agda (2.6.2.1) on ubuntu-22.04
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/
Setup Agda (2.6.2.1) on ubuntu-20.04
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/
Setup Agda (2.6.2) on ubuntu-22.04
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/
Setup Agda (2.6.3) on windows-2019
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/
Setup Agda (2.6.0.1) on macos-12
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/
Setup Agda (2.7.0) on windows-2019
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/
Setup Agda (2.6.4) on windows-2019
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/
Setup Agda (2.6.4.3) on windows-2019
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/
Setup Agda (2.6.2.2) on windows-2019
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/
Setup Agda (2.6.4.1) on windows-2019
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/
Setup Agda (2.6.2.1) on windows-2019
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/
Setup Agda (2.6.2) on windows-2022
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/
Setup Agda (2.6.2) on windows-2019
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/
Setup Agda (2.6.1.3) on macos-12
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/
Setup Agda (2.6.2.2) on windows-2022
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/
Setup Agda (2.6.4.1) on windows-2022
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/
Setup Agda (2.6.2.1) on windows-2022
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/
Setup Agda (2.7.0) on windows-2022
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/
Setup Agda (2.6.4) on windows-2022
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/
Setup Agda (2.6.3) on windows-2022
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/
Setup Agda (2.6.4.3) on windows-2022
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/
Setup Agda (2.6.2) on macos-12
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/
Setup Agda (2.6.2.1) on macos-12
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/