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