Use node20 #297

Sign in to view logs

Triggered via push August 22, 2024 20:28

wenkokke

main

Status Success

Total duration 35m 32s

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

Annotations

5 warnings

Setup Agda (2.6.3) on macos-14

Support for arm64 is experimental

Setup Agda (2.6.4) on macos-14

Support for arm64 is experimental

Setup Agda (2.6.4.1) on macos-14

Support for arm64 is experimental

Setup Agda (2.7.0) on macos-14

Support for arm64 is experimental

Setup Agda (2.6.4.3) on macos-14

Support for arm64 is experimental