fixup-clean-cmake

Author: peterschrammel

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

@@ -264,8 +264,6 @@ jobs:
       - name: Check cleanup
         run: |
           cmake --build build --target clean
-          rm -r build
-          rm scripts/bash-autocomplete/cbmc.sh
           if [[ $(git status --ignored --porcelain | grep -v .ccache/) ]] ; then
             git status --ignored
             exit 1