From 781d047e41b51e1bb00a11bb91515baedf6d48b3 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 4 Dec 2024 23:27:29 -0800
Subject: [PATCH] drop support for macOS 12

As per https://github.com/actions/runner-images/issues/10721
---
 .github/workflows/coq-macos.yml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
index 902edde325..77f0d118ea 100644
--- 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 }}