avoid arm os runner with broken python setup

.github/workflows/ci-judi.yml

@@ -28,7 +28,7 @@ jobs:
 
       matrix:
         version: ['1.6', '1.7', '1.8', '1.9', '1.10']
-        os: [ubuntu-latest, macos-latest]
+        os: [ubuntu-latest, macos-13]
 
     steps:
       - name: Checkout JUDI
@@ -56,7 +56,7 @@ jobs:
 
       - name: setup devito config
         run: |
-          if [ "${{matrix.os}}" = "macos-latest" ]; then
+          if [ "${{matrix.os}}" = "macos-13" ]; then
               brew install llvm libomp
               echo "/opt/homebrew/bin:/opt/homebrew/opt/llvm/bin" >> GITHUB_PATH
               echo "LD_LIBRARY_PATH=/opt/homebrew/opt/llvm/lib" >> GITHUB_ENV

.github/workflows/ci-op.yml

@@ -34,17 +34,17 @@ jobs:
         omp: [2]
 
         include:
-          - os: macos-latest
+          - os: macos-13
             version: '1.6'
             op: "ISO_OP"
             omp: 1
 
-          - os: macos-latest
+          - os: macos-13
             version: '1.8'
             op: "ISO_OP"
             omp: 1
 
-          - os: macos-latest
+          - os: macos-13
             version: '1.9'
             op: "ISO_OP"
             omp: 1
@@ -85,7 +85,7 @@ jobs:
 
       - name: setup devito config
         run: |
-          if [ "${{matrix.os}}" = "macos-latest" ]; then
+          if [ "${{matrix.os}}" = "macos-13" ]; then
               brew install llvm libomp
               echo "/opt/homebrew/bin:/opt/homebrew/opt/llvm/bin" >> GITHUB_PATH
               echo "LD_LIBRARY_PATH=/opt/homebrew/opt/llvm/lib" >> GITHUB_ENV

Project.toml

@@ -1,7 +1,7 @@
 name = "JUDI"
 uuid = "f3b833dc-6b2e-5b9c-b940-873ed6319979"
 authors = ["Philipp Witte, Mathias Louboutin"]
-version = "3.4.2"
+version = "3.4.3"
 
 [deps]
 ChainRulesCore = "d360d2e6-b24c-11e9-a2a3-2a2ae2dbcce4"