DEBUG: print file permissions of \$GITHUB_ENV

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

Author: dscho

.github/workflows/main.yml

@@ -59,6 +59,9 @@ jobs:
     - run: useradd builder --create-home
     - run: chown -R builder .
     - run: chmod o+w "${GITHUB_ENV%/*}" # allow `builder` to set environment variables
+    - run: sudo --preserve-env --set-home --user=builder sh -c 'env | grep /__w/_temp/'
+    - run: sudo --preserve-env --set-home --user=builder sh -c 'ls -la /__w/_temp/'
+    - run: sudo --preserve-env --set-home --user=builder sh -c 'ls -la /__w/_temp/_runner_file_commands/'
     - run: sudo --preserve-env --set-home --user=builder ci/run-build-and-tests.sh
     - name: print test failures
       if: failure() && env.FAILED_TEST_ARTIFACTS != ''