drop support for macOS 12

As per actions/runner-images#10721
mit-plv · Dec 5, 2024 · 781d047 · 781d047
1 parent b45ab68
commit 781d047
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
@@ -19,7 +19,7 @@ jobs:
       matrix:
         # macOS 12, 13 are x86_64; macOS 14 is arm64
         include:
-        - os: { name: 'macOS 12', arch: 'x86_64', runs-on: 'macos-12' }
+        - os: { name: 'macOS 13', arch: 'x86_64', runs-on: 'macos-13' }
           ocaml-compiler: '4.11.1'
         - os: { name: 'macOS 14', arch: 'arm64' , runs-on: 'macos-14' }
           ocaml-compiler: '4.14.2'
@@ -153,10 +153,8 @@ jobs:
       fail-fast: false
       matrix:
         arch: ['', '-x86_64', '-arm64']
-        os: ['macos-12', 'macos-13', 'macos-14', 'macos-latest']
+        os: ['macos-13', 'macos-14', 'macos-latest']
         exclude:
-          - os: 'macos-12'
-            arch: '-arm64'
           - os: 'macos-13'
             arch: '-arm64'
     runs-on: ${{ matrix.os }}