From 80e76dd4dd198ce7a73fdfeb2d39a57ad37698c7 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Tue, 9 Apr 2024 21:36:05 +0100 Subject: [PATCH] Fix exclude pattern --- .github/workflows/setup-legacy.yml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/setup-legacy.yml b/.github/workflows/setup-legacy.yml index 5732936..7a0e138 100644 --- a/.github/workflows/setup-legacy.yml +++ b/.github/workflows/setup-legacy.yml @@ -74,21 +74,21 @@ jobs: exclude: # Exclude older Agda versions for macOS (>=14) - agda-version: '2.6.2.2' - os: windows-14 + os: macos-14 - agda-version: '2.6.2.1' - os: windows-14 + os: macos-14 - agda-version: '2.6.2' - os: windows-14 + os: macos-14 - agda-version: '2.6.1.3' - os: windows-14 + os: macos-14 - agda-version: '2.6.0.1' - os: windows-14 + os: macos-14 - agda-version: '2.5.4.2' - os: windows-14 + os: macos-14 - agda-version: '2.5.3' - os: windows-14 + os: macos-14 - agda-version: '2.5.2' - os: windows-14 + os: macos-14 # Exclude older Agda versions for Windows - agda-version: '2.6.1.3' os: windows-2022