Exclude older Agda versions for macOS (>=14)

wenkokke · Aug 21, 2024 · bd82651 · bd82651
1 parent 1f3aa64
commit bd82651
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/.github/workflows/sample-matrix.yml b/.github/workflows/sample-matrix.yml
@@ -8,7 +8,11 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest, macOS-latest, windows-latest]
-        agda-version: ['2.7.0', '2.6.4.3', '2.6.3']
+        agda-version: ['2.6.4.3', '2.6.3', '2.6.2.2']
+        exclude:
+          # Exclude older Agda versions for macOS (>=14)
+          - agda-version: '2.6.2.2'
+            os: macos-14
 
     runs-on: ${{ matrix.os }}
     steps:

diff --git a/README.md b/README.md
@@ -97,7 +97,11 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest, macOS-latest, windows-latest]
-        agda-version: ['2.7.0', '2.6.4.3', '2.6.3']
+        agda-version: ['2.6.4.3', '2.6.3', '2.6.2.2']
+        exclude:
+          # Exclude older Agda versions for macOS (>=14)
+          - agda-version: '2.6.2.2'
+            os: macos-14
 
     runs-on: ${{ matrix.os }}
     steps: