diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6eaae22e6fe06f30d5e672ee7bdba1d6f4f82832..7884e0282a9fed4d52fab28856abcc5905631e06 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -17,5 +17,4 @@ create-binaries: git remote add private https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/revng-private/orchestra-v3.git || \ git remote set-url private https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/revng-private/orchestra-v3.git || \ true - - ./orchestra.py components - ./orchestra.py -b install --create-binary-archives ui/cold-revng