fix

.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