From bfaf798c6570fb2c702493c20ad3f5b501c8f313 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20K=C3=B6ppe?= <tkoeppe@google.com>
Date: Fri, 14 Mar 2025 16:11:43 +0000
Subject: [PATCH] [check.yml] Update MacOS runner and re-enable MacOS precommit
 action

The path of the `sed` binary on MacOS has changed going from
Intel (macos-13) to M1 (macos-15).
---
 .github/workflows/check.yml | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 5ebb18d1c3..e6fa6d7203 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -18,25 +18,24 @@ jobs:
       matrix:
         cfg:
           - { name: 'Linux', os: 'ubuntu-24.04' }
-          # - { name: 'MacOS', os: 'macos-13' }
+          - { name: 'MacOS', os: 'macos-15' }
 
     steps:
       - name: checkout
         uses: actions/checkout@v4
 
       - name: install GNU tools
-        if: matrix.cfg.os == 'macos-13'
+        if: matrix.cfg.os == 'macos-15'
         run: |
           brew install gnu-sed
-          echo "/usr/local/opt/gnu-sed/libexec/gnubin" >> ${GITHUB_PATH}
+          echo "/opt/homebrew/opt/gnu-sed/libexec/gnubin" >> ${GITHUB_PATH}
 
       - name: check-source.sh
         run: ../tools/check-source.sh
 
       - name: update brew
-        if: matrix.cfg.os == 'macos-13'
-        run: |
-          brew update
+        if: matrix.cfg.os == 'macos-15'
+        run: brew update
 
       - name: update-apt-cache
         if: matrix.cfg.os == 'ubuntu-24.04'
@@ -47,7 +46,7 @@ jobs:
         run: sudo apt-get install latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended lmodern
 
       - name: install (MacOS)
-        if: matrix.cfg.os == 'macos-13'
+        if: matrix.cfg.os == 'macos-15'
         run: |
           brew install basictex
           eval "$(/usr/libexec/path_helper)"
@@ -60,7 +59,7 @@ jobs:
         run: make quiet
 
       - name: make (MacOS)
-        if: matrix.cfg.os == 'macos-13'
+        if: matrix.cfg.os == 'macos-15'
         run: make full
 
       - name: check-output.sh