Merge branch 'master' into notify-user-file-busy

MordechaiHadad · Sep 11, 2024 · 81439c1 · 81439c1
2 parents 88a7985 + 5677199
commit 81439c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,7 +5,7 @@ jobs:
     check:
         strategy:
             matrix:
-                os: [macos-latest, windows-latest, ubuntu-latest, macos-13]
+                os: [macos-latest, windows-latest, ubuntu-latest]
         runs-on: ${{matrix.os}}
         steps:
             - name: Checkout