Fixup

.github/workflows/build-domjudge-container-PR.yml

@@ -30,7 +30,7 @@ jobs:
           username: ${{ github.repository_owner }}
           password: ${{ secrets.GITHUB_TOKEN }}
 
-      - run: docker system prune -a
+      - run: docker system prune -a -f
 
       - name: If needed overwrite the DOMJUDGE_VERSION for this run
         run: |
@@ -66,6 +66,7 @@ jobs:
       - name: Check for wrong permisions
         run: |
           docker image list
+          set -x
           for IMG in domserver judgehost; do
             files=$(docker run --rm --pull=never "${{ github.actor }}/$IMG:$TAG" find / -xdev -perm -o+w ! -type l ! \( -type d -a -perm -+t \) ! -type c)
             if [ -n "$files" ]; then