# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1682866488 -7200
# Node ID a46c30311908237a253b8451f6b8e0d45547b44f
# Parent  88e7edd94e2e3c4b8a141d4b4637cf7487737d50
GitHub-CI (macos): Drop macos-11 runner and add macos-13 runner.

* .github/workflows/make.yaml (macos): Use shorter name for job. Remove macos-11
runner. Add macos-13 runner.

diff -r 88e7edd94e2e -r a46c30311908 .github/workflows/make.yaml
--- a/.github/workflows/make.yaml	Tue Apr 25 09:27:54 2023 -0700
+++ b/.github/workflows/make.yaml	Sun Apr 30 16:54:48 2023 +0200
@@ -167,13 +167,15 @@
   macos:
     runs-on: ${{ matrix.os }}
 
+    name: ${{ matrix.os }}
+
     strategy:
       # Allow other runners in the matrix to continue if some fail
       fail-fast: false
 
       matrix:
         # For available GitHub-hosted runners, see: https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners
-        os: [macos-11, macos-12]
+        os: [macos-13, macos-12]
         # Most (or all) homebrew packages are compiled with clang and link
         # against libc++.  So we also use clang to avoid issues with symbols
         # that don't match.