[FIXUP] Minor changes to bring inline with make-gcc job.

Author: NlightNFotis

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

@@ -64,15 +64,14 @@ jobs:
     steps:
       - uses: actions/checkout@v2
         with:
-          submodules: true
+          submodules: recursive
       - name: Fetch dependencies
         env:
           # This is needed in addition to -yq to prevent apt-get from asking for
           # user input
           DEBIAN_FRONTEND: noninteractive
-          TESTPL_JOBS: 4
         run: |
-          sudo apt-get install -yq gdb maven jq flex bison libxml2-utils cpanminus
+          sudo apt-get install --no-install-recommends -yq clang clang++ gdb maven jq flex bison libxml2-utils cpanminus
           make -C src minisat2-download
           cpanm Thread::Pool::Simple
       - name: Build with make
@@ -90,10 +89,10 @@ jobs:
           make TAGS="[!shouldfail]" -C jbmc/unit CXX='/usr/bin/clang++' test
       - name: Run regression tests
         run: |
-          make -C regression test
+          make -C regression test-parallel JOBS=2
           make -C regression/cbmc test-paths-lifo
           env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2
-          make -C jbmc/regression test
+          make -C jbmc/regression test-parallel JOBS=2
 
   check-ubuntu-20_04-cmake-gcc:
     runs-on: ubuntu-20.04