From 6510f71f3569d113769803b14ed262c50c9a0a15 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Thu, 7 Mar 2024 15:20:44 +0000
Subject: [PATCH] More debug

---
 .gitlab-ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f88fc36ad2..fd32c53e68 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -531,6 +531,8 @@ release-docs:
     refs:
       - /^release-.*/
   script:
+    - ls -la /
+    - ls -la /cache
     - eval $(ssh-agent -s)
     - echo "$CI_KEY_PRIVATE" > /root/.ssh/id_rsa && chmod 0600 /root/.ssh/id_rsa
     - echo "$CI_KEY_PUBLIC" > /root/.ssh/id_rsa.pub
-- 
GitLab