Change set of MacOS builders in CI as Github dropped 10.15

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 829961b2f5065cd041d559893b8a53efca80b921..f0c611ee726ab1f70b7a34bfcc77d7558aca8f34 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -486,8 +486,9 @@ jobs:
     strategy:
       matrix:
         include:
-          - platform: macos-10.15
           - platform: macos-11
+          - platform: macos-12
+          - platform: macos-13
       fail-fast: false
     runs-on: ${{ matrix.platform }}
     steps: