fix: testing

sdsc-ordes · Jul 17, 2024 · 760b9d4 · 760b9d4
1 parent 6e96a37
commit 760b9d4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tools/ci/setup-git.sh b/tools/ci/setup-git.sh
@@ -20,7 +20,9 @@ if [ "$HOME" = "/github/home" ]; then
         "workaround some Github stupidity."
 
     ls -al "/github" || true
-    mkdir -p /github
+    ls -al "/github/home" || true
+
+    rm -rf /github/home || true
     ln -s /root "$HOME"
     ls -al "/github"
 fi