Remove make based CI jobs

So that we can remove the `make` build entirely.

Author: thomasspriggs

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

@@ -4,42 +4,6 @@ on:
     branches: [ develop ]
 
 jobs:
-  check-ubuntu-20_04-make-gcc:
-    runs-on: ubuntu-20.04
-    steps:
-      - uses: actions/checkout@v2
-        with:
-          submodules: true
-      - 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 gcc gdb g++ maven jq flex bison libxml2-utils cpanminus
-          make -C src minisat2-download
-          cpanm Thread::Pool::Simple
-      - name: Build with make
-        run: |
-          make -C src CXX='/usr/bin/g++' -j2
-          make -C unit CXX='/usr/bin/g++' -j2
-          make -C jbmc/src  CXX='/usr/bin/g++' -j2
-          make -C jbmc/unit CXX='/usr/bin/g++' -j2
-      - name: Run unit tests
-        run: |
-          make -C unit test
-          make -C jbmc/unit test
-          echo "Running expected failure tests"
-          make TAGS="[!shouldfail]" -C unit test
-          make TAGS="[!shouldfail]" -C jbmc/unit test
-      - name: Run regression tests
-        run: |
-          make -C regression test
-          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
-
   check-ubuntu-20_04-cmake-gcc:
     runs-on: ubuntu-20.04
     steps:
@@ -71,30 +35,6 @@ jobs:
         env:
           TESTPL_JOBS: 2
 
-  check-macos-10_15-make-clang:
-    runs-on: macos-10.15
-    steps:
-      - uses: actions/checkout@v2
-        with:
-          submodules: true
-      - name: Fetch dependencies
-        run: brew install maven flex bison
-      - name: Build using Make
-        run: |
-          make -C src minisat2-download
-          make -C src
-          make -C jbmc/src
-          make -C unit
-          make -C jbmc/unit
-      - name: Run unit tests
-        run: cd unit; ./unit_tests
-      - name: Run JBMC unit tests
-        run: cd jbmc/unit; ./unit_tests
-      - name: Run regression tests
-        run: cd regression; make
-      - name: Run JBMC regression tests
-        run: cd jbmc/regression; make
-
   check-macos-10_15-cmake-clang:
     runs-on: macos-10.15
     steps: