DEBUG: another attempt

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

.github/workflows/innocuous-test.yml

@@ -8,5 +8,11 @@ jobs:
   test:
     runs-on: ubuntu-latest
     steps:
-      - shell: bash
-        run: echo Hello
+      - name: Clone build-extra
+        shell: bash
+        run: git clone --depth 1 --single-branch -b main https://github.com/git-for-windows/build-extra /usr/src/build-extra
+      - name: Clean up temporary files
+        if: always()
+        shell: bash
+        run: |
+          { rm -rf "$HOME" || echo "Gracefully leaving files undeleted" >&2; }