Update the set of OSX runners since github removed 10.15

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 32d9b3c19052c03cb76de86634a1a6fda2ff2863..1d1b9b57583e29b5126aadf03285e0607004be2b 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -110,8 +110,9 @@ jobs:
     strategy:
       matrix:
         include:
-          - platform: macos-10.15
           - platform: macos-11
+          - platform: macos-12
+          - platform: macos-13
     runs-on: ${{ matrix.platform }}
     env:
       TOOLCHAIN: stable