Merge pull request #8327 from tautschnig/github-4-vcpus

Use all 4 vCPUs on GitHub-hosted runners

Author: tautschnig

.github/workflows/build-and-test-Linux.yaml

@@ -42,7 +42,7 @@ jobs:
       - name: Build CBMC tools
         run: |
           make -C src minisat2-download
-          make -C src CXX='ccache /usr/bin/clang++' cbmc.dir goto-cc.dir goto-diff.dir -j2
+          make -C src CXX='ccache /usr/bin/clang++' cbmc.dir goto-cc.dir goto-diff.dir -j4
       - name: Print ccache stats
         run: ccache -s
 

.github/workflows/build-and-test-Xen.yaml

@@ -41,7 +41,7 @@ jobs:
       - name: Build CBMC tools
         run: |
           make -C src minisat2-download
-          make -C src CXX='ccache /usr/bin/clang++' cbmc.dir goto-cc.dir goto-diff.dir -j2
+          make -C src CXX='ccache /usr/bin/clang++' cbmc.dir goto-cc.dir goto-diff.dir -j4
       - name: Print ccache stats
         run: ccache -s
 
@@ -58,7 +58,7 @@ jobs:
           ln -s goto-cc src/goto-cc/goto-g++
 
       - name: Compile Xen with CBMC via one-line-scan, and check for goto-cc section
-        run: one-line-scan/one-line-scan --add-to-path $(pwd)/src/cbmc --add-to-path $(pwd)/src/goto-diff  --add-to-path $(pwd)/src/goto-cc --no-analysis --trunc-existing --extra-cflags -Wno-error -o CPROVER -j 3 -- make -C xen_4_13 xen -j $(nproc)
+        run: one-line-scan/one-line-scan --add-to-path $(pwd)/src/cbmc --add-to-path $(pwd)/src/goto-diff  --add-to-path $(pwd)/src/goto-cc --no-analysis --trunc-existing --extra-cflags -Wno-error -o CPROVER -j 4 -- make -C xen_4_13 xen -j $(nproc)
 
       - name: Check for goto-cc section in xen-syms binary
         run: objdump -h xen_4_13/xen/xen-syms | grep "goto-cc"

.github/workflows/codeql-analysis.yml

@@ -45,10 +45,10 @@ jobs:
     - name: Build
       run: |
         make -C src minisat2-download
-        make -C src       -j2
-        make -C unit      -j2
-        make -C jbmc/src  -j2
-        make -C jbmc/unit -j2
+        make -C src       -j4
+        make -C unit      -j4
+        make -C jbmc/src  -j4
+        make -C jbmc/unit -j4
 
     - name: Perform CodeQL Analysis
       uses: github/codeql-action/analyze@v3

.github/workflows/csmith.yaml

@@ -39,7 +39,7 @@ jobs:
         run: ccache -z --max-size=500M
       - name: Build with make
         run: |
-          make -C src CXX='ccache /usr/bin/clang++' cbmc.dir goto-cc.dir goto-instrument.dir -j2
+          make -C src CXX='ccache /usr/bin/clang++' cbmc.dir goto-cc.dir goto-instrument.dir -j4
       - name: Print ccache stats
         run: ccache -s
       - name: Run 10 randomly-generated CSmith tests

.github/workflows/performance.yaml

@@ -65,7 +65,7 @@ jobs:
       - name: ccache environment (new variant)
         run: echo "CCACHE_BASEDIR=$PWD/new" >> $GITHUB_ENV
       - name: Build with Ninja (new variant)
-        run: ninja -C new/build -j2
+        run: ninja -C new/build -j4
       - name: Print ccache stats (new variant)
         run: ccache -s
 
@@ -74,7 +74,7 @@ jobs:
       - name: ccache environment (old variant)
         run: echo "CCACHE_BASEDIR=$PWD/old" >> $GITHUB_ENV
       - name: Build with Ninja (old variant)
-        run: ninja -C old/build -j2
+        run: ninja -C old/build -j4
       - name: Print ccache stats (old variant)
         run: ccache -s
 

.github/workflows/pull-request-check-rust-api.yaml

@@ -56,7 +56,7 @@ jobs:
       - name: Configure using CMake
         run: cmake -S. -B${{env.default_build_dir}} -DCMAKE_POSITION_INDEPENDENT_CODE=ON -DCMAKE_C_COMPILER=/usr/bin/clang-13 -DCMAKE_CXX_COMPILER=/usr/bin/clang++-13 -DWITH_JBMC=OFF
       - name: Build with CMake
-        run: cmake --build ${{env.default_build_dir}} -j2 --target cprover-api-cpp
+        run: cmake --build ${{env.default_build_dir}} -j4 --target cprover-api-cpp
       - name: Print ccache stats
         run: ccache -s
       # We won't be running any of the regular regression tests, as these are covered
@@ -97,7 +97,7 @@ jobs:
       - name: Configure using CMake
         run: cmake -S. -B${{env.default_build_dir}} -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/clang -DCMAKE_CXX_COMPILER=/usr/bin/clang++ -DWITH_JBMC=OFF
       - name: Build with Ninja
-        run: cd ${{env.default_build_dir}}; ninja -j3 cprover-api-cpp
+        run: cd ${{env.default_build_dir}}; ninja -j4 cprover-api-cpp
       - name: Print ccache stats
         run: ccache -s
       # We won't be running any of the regular regression tests, as these are covered