Fix exclude pattern

wenkokke · Apr 9, 2024 · 80e76dd · 80e76dd
1 parent 1896b05
commit 80e76dd
Showing 1 changed file with 8 additions and 8 deletions.
diff --git 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