use explicit paths to github runner HOME

Signed-off-by: Pawel Czarnecki <[email protected]>
antmicro · Feb 19, 2024 · 70b6e6f · 70b6e6f
1 parent ede3014
commit 70b6e6f
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -25,7 +25,9 @@ jobs:
       - name: Workaround overriden HOME env var
         run: |
           mkdir -p /github
-          ln -s /root $HOME
+          ls -la /github
+          [ -d /github/home ] && ls -la /github/home && rm -rf /github/home
+          ln -s /root /github/home
           whoami
           echo $HOME
           ls -la $HOME
@@ -84,7 +86,9 @@ jobs:
       - name: Workaround overriden HOME env var
         run: |
           mkdir -p /github
-          ln -s /root $HOME
+          ls -la /github
+          [ -d /github/home ] && ls -la /github/home && rm -rf /github/home
+          ln -s /root /github/home
           whoami
           echo $HOME
           ls -la $HOME