This commit is contained in:
Georges Dupéron 2019-05-14 18:42:45 +02:00
parent fadc84f76c
commit b8f80b06f6

View File

@ -38,7 +38,8 @@ local-repo-job:
script: script:
- vendors/ligo-opam-repository/rewrite-local-opam-repository.sh - vendors/ligo-opam-repository/rewrite-local-opam-repository.sh
- opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository/" - opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository/"
- opam install -y --build-test ligo #--build-test
- opam install -y -v ligo
remote-repo-job: remote-repo-job:
script: script: