diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2210af2fe7dcfa7fbd44e1778dd0e34fd3d17de2..7d87ef691b9039055f38fc0b511efa96b4579f77 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -99,6 +99,8 @@ tests:
          cd -
          nix shell -c dune build --display=short --root=.
      done
+   - |
+     cd ..
      echo "(lang dune 3.8)" >| rr_frontend/dune-project
      echo "(using coq 0.8)" >> rr_frontend/dune-project
      nix shell -c dune build --display=short --root=rr_frontend