Skip to content
Snippets Groups Projects
Commit 75af217e authored by Filippo Cremonese's avatar Filippo Cremonese
Browse files

Removed test call to `orchestra components`

parent 1cd5a880
No related branches found
No related tags found
No related merge requests found
......@@ -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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment