Support Agda v2.7.0 (#218) #424

Sign in to view logs

Triggered via push August 20, 2024 20:21

wenkokke

main

Status Success

Total duration 44m 32s

Artifacts –

setup-latest.yml

on: push

Matrix: setup-latest

Annotations

7 warnings

Setup Agda (latest) 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 (latest) 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 (latest) 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 (latest) 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 (latest) 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 (latest) 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 (latest) on macos-14

Support for arm64 is experimental