Update macos-12 runner to 13 (#89)

GitHub removed the macos-12 runner.
memfault · Jan 7, 2025 · b926d39 · b926d39
1 parent 0cc1f56
commit b926d39
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -10,9 +10,10 @@ jobs:
     name: 🛠️ build on ${{ matrix.platform }}
 
     strategy:
-      fail-fast: true
+      # run all targets to completion, even if one fails
+      fail-fast: false
       matrix:
-        platform: [ubuntu-20.04, macos-12, macos-13-xlarge] #  windows-2022] windows is a bit sad :'(
+        platform: [ubuntu-20.04, macos-13, macos-13-xlarge] #  windows-2022] windows is a bit sad :'(
     runs-on: ${{ matrix.platform }}
 
     # set bash to be a login shell, so that /etc/profile is sourced and conda