Support for v2.7.0.1 (#224) #301
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
20 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.5.2) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.7.0) 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.5.4.2) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.6.4.3) on macos-14
Support for arm64 is experimental
|
|
Setup Agda (2.7.0.1) on macos-14
Support for arm64 is experimental
|
|
Setup Agda (2.5.3) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.6.0.1) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.6.2) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.6.1.3) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.6.2.1) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.6.3) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.6.2.2) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.6.4) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.6.4.1) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.7.0) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.6.4.3) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Setup Agda (2.7.0.1) on macos-12
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|