bump version v2.2.0 -> v2.3.0 #279
wenkokkesetup-legacy.yml
on: push
Matrix: setup-legacy
Matrix: setup-with-access-to-echo
Matrix: setup-with-agda-categories
Matrix: setup-with-agda-stdlib
Annotations
75 warnings
|
Setup Agda (2.5.2) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.5.3) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.5.3) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.5.2) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.5.4.2) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.5.4.2) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.0.1) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.0.1) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.3) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.3) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.1.3) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.1.3) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.2) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.1) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.3) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.2) with access to /bin/echo
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.2) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.1) on ubuntu-20.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.1) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.2) with agda-categories (0.1.7.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.3) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.2) with agda-categories (0.1.7.1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.1) on ubuntu-22.04
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.1) on windows-2019
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.3) on windows-2019
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.3) on macos-14
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.3) on macos-14
Support for arm64 is experimental
|
|
Setup Agda (2.6.4) on windows-2019
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2) on windows-2019
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2) on windows-2022
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.3) on windows-2019
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.2) on windows-2019
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.1) on windows-2019
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.5.3) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.3) on windows-2022
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.1) on windows-2022
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.3) on windows-2022
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.1) on windows-2022
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.5.2) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4) on windows-2022
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.2) on windows-2022
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4) on macos-14
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4) on macos-14
Support for arm64 is experimental
|
|
Setup Agda (2.6.0.1) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.3) on macos-14
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.3) on macos-14
Support for arm64 is experimental
|
|
Setup Agda (2.6.1.3) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.5.2) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.5.4.2) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.2) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.5.3) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.3) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.1) on macos-14
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.1) on macos-14
Support for arm64 is experimental
|
|
Setup Agda (2.6.4.1) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.1) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.0.1) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.1.3) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.3) on macos-11
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.5.4.2) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.1) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.3) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.2.2) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.1) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Setup Agda (2.6.4.3) on macos-12
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, ./. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|