changeset 32066:a46c30311908 stable

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.
author Markus Mützel <markus.muetzel@gmx.de>
date Sun, 30 Apr 2023 16:54:48 +0200
parents 88e7edd94e2e
children b16940405077 217a35f2a589
files .github/workflows/make.yaml
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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.