fix: recreate GITHUB_WORKSPACE, if it has been removed

easimon · Nov 27, 2023 · 1e6bb9e · 1e6bb9e
1 parent f78c451
commit 1e6bb9e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/action.yml b/action.yml
@@ -179,6 +179,9 @@ runs:
           sudo chown -R runner "${BUILD_MOUNT_PATH}"
           sudo chgrp -R runner "${BUILD_MOUNT_PATH}"
 
+          # if build mount path is a parent of $GITHUB_WORKSPACE, recreate it
+          sudo mkdir -p "${GITHUB_WORKSPACE}"
+
     - name: Disk space report after modification
       shell: bash
       run: |