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.'

Author: hannesa2

.github/workflows/BuildPR.yml

@@ -18,10 +18,10 @@ jobs:
         arch: [ arm64 ]
         include:
           - xcode: 15.2.0
-            os: macos-13
+            os: macos-15-intel
             arch: x86_64
           - xcode: 14.2.0
-            os: macos-13
+            os: macos-15-intel
             arch: x86_64
     steps:
       - name: ls Xcode