diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e28a0ea72646bd8be41a9e986028824c81ac6b56..62d439867f4e6136b87d96ba1ff165788e691e00 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -15,6 +15,9 @@ variables:
   - fp
   script:
   - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
+  - whoami
+  - ls -a $HOME
+  - ls -a $HOME/.rustup
   - ci/buildjob
   cache:
     key: "$CI_JOB_NAME"