Support agda-stdlib v2.0 #244
Triggered via pull request
January 24, 2024 15:40
wenkokke
Status
Success
Total duration
1h 12m 3s
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
74 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.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.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.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.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.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.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-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.4) on ubuntu-20.04
Error: Rejected distribution for Agda 2.6.4 at https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-ubuntu-22.04-ghc9.6.3-icu70.1.zip:
Command failed with exit code 1: /tmp/tmp-1861-N5k6VPa3TYz9/bin/agda --version
/tmp/tmp-1861-N5k6VPa3TYz9/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by /tmp/tmp-1861-N5k6VPa3TYz9/bin/agda)
/tmp/tmp-1861-N5k6VPa3TYz9/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.32' not found (required by /tmp/tmp-1861-N5k6VPa3TYz9/bin/agda)
/tmp/tmp-1861-N5k6VPa3TYz9/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.33' not found (required by /tmp/tmp-1861-N5k6VPa3TYz9/bin/agda)
/tmp/tmp-1861-N5k6VPa3TYz9/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.33' not found (required by /tmp/tmp-1861-N5k6VPa3TYz9/bin/../lib/agda-2.6.4-libicuuc.so.70.1)
/tmp/tmp-1861-N5k6VPa3TYz9/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by /tmp/tmp-1861-N5k6VPa3TYz9/bin/../lib/agda-2.6.4-libicuuc.so.70.1)
|
|
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.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.3) on ubuntu-20.04
Error: Rejected distribution for Agda 2.6.3 at https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-ubuntu-22.04-ghc9.4.4-icu70.1.zip:
Command failed with exit code 1: /tmp/tmp-2076-V8akhLg7DoS3/bin/agda --version
/tmp/tmp-2076-V8akhLg7DoS3/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by /tmp/tmp-2076-V8akhLg7DoS3/bin/agda)
/tmp/tmp-2076-V8akhLg7DoS3/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.33' not found (required by /tmp/tmp-2076-V8akhLg7DoS3/bin/agda)
/tmp/tmp-2076-V8akhLg7DoS3/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.32' not found (required by /tmp/tmp-2076-V8akhLg7DoS3/bin/agda)
/tmp/tmp-2076-V8akhLg7DoS3/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.33' not found (required by /tmp/tmp-2076-V8akhLg7DoS3/bin/../lib/agda-2.6.3-libicuuc.so.70.1)
/tmp/tmp-2076-V8akhLg7DoS3/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by /tmp/tmp-2076-V8akhLg7DoS3/bin/../lib/agda-2.6.3-libicuuc.so.70.1)
|
|
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.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.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.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.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.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) 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.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.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.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.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-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-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-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 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-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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.5.2) on macos-13
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-13
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.5.4.2) on macos-13
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.0.1) on macos-13
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-13
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-13
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-13
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-13
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-13
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-13
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-13
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/.
|