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

Update CI script

parent 89e1b2d3
No related branches found
No related tags found
No related merge requests found
......@@ -35,10 +35,12 @@ create-binaries:
- revng-c
- caliban
- ui/cold-revng
- environment
- revng-distributable
EOF
- orchestra update --no-config
- orchestra -b graph revng-distributable
- orchestra -b install --create-binary-archives revng-distributable
- cd .orchestra/binary-archives/personal
- git config user.email "gitlabci@rev.ng"
......
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