From 06fc7e7cffab46cb94a7bc26caf36eea530ea836 Mon Sep 17 00:00:00 2001
From: Filippo Cremonese <filippocremonese@rev.ng>
Date: Thu, 17 Sep 2020 15:51:52 +0200
Subject: [PATCH] -
---
.gitlab-ci.yml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0b8e16b..29d427e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,11 +8,14 @@ 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
+ - ./ci/install-dependencies.sh
- |
cd /orchestra && \
- .orchestra/ci/install-dependencies.sh && \
python3 setup.py bdist_wheel && \
pip install dist/orchestra*.whl
+ - pwd
+ - cd "$CI_PROJECT_DIR"
+ - pwd
- 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