try macos-13

This on the theory that it's only MPS specifically that doesn't work,
and MacOS 13 maybe (?) doesn't have MPS

Author: bmillwood

.github/workflows/checks.yml

@@ -50,7 +50,7 @@ jobs:
           - "3.10"
         runs-on:
           - ubuntu-latest
-          - macos-latest
+          - macos-13 # 2024-05-16: macos-latest fails with MPS errors, see #598
     steps:
       - uses: actions/checkout@v3
       - name: Install Poetry
@@ -127,7 +127,7 @@ jobs:
       matrix:
         runs-on:
           - ubuntu-latest
-          - macos-latest
+          # - macos-13 # need to install pandoc in a mac-friendly way
         notebook:
           # - "Activation_Patching_in_TL_Demo"
           # - "Attribution_Patching_Demo"