build-and-deploy: let's be lenient if the temporary files could not b…

…e cleaned up

The idea was always to "just make sure in case this is run on a
non-ephemeral runner". No need to fail a build over something like:

  rm: cannot remove '/d/a/_temp/home/.gnupg/public-keys.d/pubring.db': Device or resource busy

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

.github/workflows/build-and-deploy.yml

@@ -302,7 +302,7 @@ jobs:
         run: |
           gpgconf --kill dirmngr &&
           gpgconf --kill gpg-agent &&
-          rm -rf "$HOME"
+          { rm -rf "$HOME" || echo "Gracefully leaving files undeleted" >&2; }
 
       - name: mark check run as completed
         if: env.CREATE_CHECK_RUN != 'false' && always()