From e1322127ad7d03a399a6574d1683063af0d0fcfd Mon Sep 17 00:00:00 2001
From: Hannes Achleitner <hannes.software@gmx.at>
Date: Tue, 30 Sep 2025 06:39:56 +0200
Subject: [PATCH] Github runner macos-15-intel

macos-13 runners are going away very soon:

'This process will begin October 1, 2025, and the image will be fully retired on December 4, 2025.'
---
 .github/workflows/BuildPR.yml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/BuildPR.yml b/.github/workflows/BuildPR.yml
index 517b86c1..4339ba81 100644
--- a/.github/workflows/BuildPR.yml
+++ b/.github/workflows/BuildPR.yml
@@ -17,11 +17,8 @@ jobs:
         xcode: [ 15.4, 16.2 ]
         arch: [ arm64 ]
         include:
-          - xcode: 15.2.0
-            os: macos-13
-            arch: x86_64
-          - xcode: 14.2.0
-            os: macos-13
+          - xcode: 16.4.0
+            os: macos-15-intel
             arch: x86_64
     steps:
       - name: ls Xcode