CI: bump vCPU use and macOS version

* increases number of build processes from 2 to 4 for Linux jobs

* increases number of build processes from 2 to 3 for macOS job

* increases macOS version from 12 to 14

Author: kroening

.github/workflows/pull-request-checks.yaml

@@ -42,7 +42,7 @@ jobs:
         run: |
           make -C lib/cbmc/src minisat2-download
       - name: Build with make
-        run: make -C src -j2 CXX="ccache g++"
+        run: make -C src -j4 CXX="ccache g++"
       - name: Run the ebmc tests with SAT
         run: make -C regression/ebmc test
       - name: Run the ebmc tests with Z3
@@ -94,8 +94,7 @@ jobs:
         run: |
           make -C lib/cbmc/src minisat2-download
       - name: Build with make
-        run: |
-          make CXX="ccache clang++" -C src -j2
+        run: make CXX="ccache clang++" -C src -j4
       - name: Run the ebmc tests with SAT
         run: make -C regression/ebmc test
       - name: Run the ebmc tests with Z3
@@ -141,7 +140,7 @@ jobs:
       - name: Get minisat
         run: make -C lib/cbmc/src minisat2-download
       - name: Build with make
-        run: make CXX="ccache g++ -Wno-class-memaccess" LIBS="-lstdc++fs" -C src -j2
+        run: make CXX="ccache g++ -Wno-class-memaccess" LIBS="-lstdc++fs" -C src -j4
       - name: Run the ebmc tests with SAT
         run: |
           rm regression/ebmc/neural-liveness/counter1.desc
@@ -152,8 +151,8 @@ jobs:
         run: ccache -s
 
   # This job takes approximately 20 minutes
-  check-macos-12-make-clang:
-    runs-on: macos-12
+  check-macos-14-make-clang:
+    runs-on: macos-14
     steps:
       - uses: actions/checkout@v4
         with:
@@ -180,7 +179,7 @@ jobs:
       - name: Get minisat
         run: make -C lib/cbmc/src minisat2-download
       - name: Build with make
-        run: make YACC="/usr/local/opt/bison/bin/bison" CXX="ccache clang++" -C src -j2
+        run: make YACC="/usr/local/opt/bison/bin/bison" CXX="ccache clang++" -C src -j3
       - name: Run the ebmc tests with SAT
         run: make -C regression/ebmc test
       - name: Run the ebmc tests with Z3