[check.yml] Update macOS runner to "macos-13", up from "macos-12"

Author: tkoeppe

.github/workflows/check.yml

@@ -18,14 +18,14 @@ jobs:
       matrix:
         cfg:
           - { name: 'Linux', os: 'ubuntu-22.04' }
-          - { name: 'MacOS', os: 'macos-12' }
+          - { name: 'MacOS', os: 'macos-13' }
 
     steps:
       - name: checkout
         uses: actions/checkout@v3
 
       - name: install GNU tools
-        if: matrix.cfg.os == 'macos-12'
+        if: matrix.cfg.os == 'macos-13'
         run: |
           brew install gnu-sed
           echo "/usr/local/opt/gnu-sed/libexec/gnubin" >> ${GITHUB_PATH}
@@ -34,7 +34,7 @@ jobs:
         run: ../tools/check-source.sh
 
       - name: update brew
-        if: matrix.cfg.os == 'macos-12'
+        if: matrix.cfg.os == 'macos-13'
         run: |
           brew update
 
@@ -47,7 +47,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-12'
+        if: matrix.cfg.os == 'macos-13'
         run: |
           brew install basictex
           eval "$(/usr/libexec/path_helper)"
@@ -60,7 +60,7 @@ jobs:
         run: make quiet
 
       - name: make (MacOS)
-        if: matrix.cfg.os == 'macos-12'
+        if: matrix.cfg.os == 'macos-13'
         run: make full
 
       - name: check-output.sh