Fix paths

.gitlab-ci.yml

@@ -8,11 +8,11 @@ create-binaries:
   script:
     - echo -e "machine rev.ng\nlogin gitlab-ci-token\npassword ${CI_JOB_TOKEN}" > ~/.netrc
     - git clone https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/${CI_PROJECT_NAMESPACE}/orchestra-v3.git /orchestra
-    - cd /orchestra
-    - .orchestra/ci/install-dependencies.sh
-    - python3 setup.py bdist_wheel
-    - pip install dist/orchestra*.whl
-    - cd "${CI_PROJECT_DIR}"
+    - |
+      cd /orchestra && \
+        .orchestra/ci/install-dependencies.sh && \
+        python3 setup.py bdist_wheel && \
+        pip install dist/orchestra*.whl
     - git checkout -B "$CI_COMMIT_REF_NAME" "$CI_COMMIT_SHA"
     - |
       git remote add internal https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/revng-internal/revng-orchestra.git || \