Update to the latest macOS and the latest macOS (12) currently for th…

…e runners to check everything is fine

.github/workflows/pull-request.yml

@@ -8,7 +8,11 @@ on:
 
 jobs:
     macos-build:
-        runs-on: macOS-13
+        # macOS-latest images are not the most recent
+        # The macos-latest workflow label currently uses the macOS 12 runner image
+        # The vast majority of macOS developers would be using the latest version of macOS
+        # Current list here: https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#choosing-github-hosted-runners
+        runs-on: macOS-14 
 
         steps:
             - uses: actions/checkout@v4
@@ -17,8 +21,19 @@ jobs:
             - name: Run tests
               run: swift test -v
 
-    ubuntu-build:
+    macos-build-latest:
+        # Let's also check that the code builds on the 'latest' macOS version according to Microsoft
+        # At 23rd April 2023 the latest macOS version is macOS 12
+        runs-on: macOS-latest
 
+        steps:
+            - uses: actions/checkout@v4
+            - name: Build (macOS)
+              run: swift build -v
+            - name: Run tests
+              run: swift test -v
+
+    ubuntu-build:
         runs-on: ubuntu-latest
 
         steps: