Skip to content
setup legacy

Bump versions in matrix sample #290

Sign in to view logs

Bump versions in matrix sample

Bump versions in matrix sample #290

Triggered via push August 21, 2024 13:38
@wenkokkewenkokke
pushed 1f3aa64
main
Status Success
Total duration 14m 23s
Artifacts –

setup-legacy.yml

on: push
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

70 warnings
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: ./. 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: ./. 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-22.04
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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-20.04
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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-20.04
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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 macos-14
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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.2.2) with agda-stdlib (1.7)
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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 macos-14
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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 macos-14
Support for arm64 is experimental
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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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: ./. 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 macos-12
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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-12
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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-12
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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: ./. 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 macos-12
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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 macos-12
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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 macos-14
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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 macos-14
Support for arm64 is experimental
Setup Agda (2.7.0) on macos-14
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. 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 macos-14
Support for arm64 is experimental
Setup Agda (2.7.0) on macos-12
The following actions use a deprecated Node.js version and will be forced to run on node20: ./. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/