From 7f156b0e524104bd41d9e023efbce1eca731a6f2 Mon Sep 17 00:00:00 2001
From: Filippo Cremonese <filippocremonese@rev.ng>
Date: Thu, 17 Sep 2020 15:47:47 +0200
Subject: [PATCH] Fix paths
---
.gitlab-ci.yml | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c4e1aad..0b8e16b 100644
--- a/.gitlab-ci.yml
+++ b/.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 || \
--
GitLab