update url of ligo opam repository after merging the git repos

This commit is contained in:
Georges Dupéron 2019-05-27 11:30:00 +02:00
parent 681fe53dd6
commit 44128ee7da

View File

@ -52,7 +52,7 @@ remote-repo-job:
<<: *before_script
script:
# Add repository
- opam repository add ligo-repository https://gitlab.com/ligolang/ligo-opam-repository.git
- opam repository add ligo-repository https://gitlab.com/ligolang/ligo.git
- eval $(opam config env)
- opam install -y ligo
# Used in the IDE