diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
index d1510641cb0..0594bf3ad8e 100644
--- a/.github/workflows/pull-request-checks.yaml
+++ b/.github/workflows/pull-request-checks.yaml
@@ -4,6 +4,30 @@ on:
     branches: [ develop ]
 
 jobs:
+  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: