CI: move logs/ to GITHUB_WORKSPACE

Artifacts can only be uploaded from inside the GITHUB_WORKSPACE. While
the Linux CI jobs run inside that per default, a special case-sensitive
mount outside the GITHUB_WORKSPACE is used for macOS builds.

To make log artifacts work for both macOS and Linux, move logs/ folder
to GITHUB_WORKSPACE on failures.

Signed-off-by: Paul Spooren <[email protected]>

.github/workflows/tools.yml

@@ -121,9 +121,14 @@ jobs:
           cd "$WORKPATH"
           make tools/install -j$(nproc) BUILD_LOG=1
 
+      - name: Move logs to GITHUB_WORKSPACE
+        if: failure()
+        run: |
+          cp -r "$WORKPATH/logs" "$GITHUB_WORKSPACE"
+
       - name: Upload logs
         if: failure()
         uses: actions/upload-artifact@v2
         with:
           name: ${{ matrix.os }}-logs
-          path: "$WORKPATH/logs"
+          path: "logs"