diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
index 8ab4a9e7e86..263c0fed6ab 100644
--- a/.github/workflows/pull-request-checks.yaml
+++ b/.github/workflows/pull-request-checks.yaml
@@ -263,11 +263,9 @@ jobs:
         run: cd build; ctest . -V -L CORE -j${{env.linux-vcpus}}
       - name: Check cleanup
         run: |
+          cmake --build build --target clean
           rm -r build
           rm scripts/bash-autocomplete/cbmc.sh
-          make -C unit clean
-          make -C regression clean
-          make -C jbmc/regression clean
           if [[ $(git status --ignored --porcelain | grep -v .ccache/) ]] ; then
             git status --ignored
             exit 1