Renamed job, use git submodules in gitlab-ci
This commit is contained in:
parent
60f99b3e9c
commit
586d772488
@ -1,3 +1,6 @@
|
||||
variables:
|
||||
GIT_SUBMODULE_STRATEGY=recursive
|
||||
|
||||
before_script:
|
||||
|
||||
# Install dependencies
|
||||
@ -37,7 +40,7 @@ local-repo-job:
|
||||
- opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository/"
|
||||
- opam install -y --build-test ligo
|
||||
|
||||
install-from-repo-job:
|
||||
remote-repo-job:
|
||||
script:
|
||||
# Add repository
|
||||
- opam repository add ligo-repository https://gitlab.com/gabriel.alfour/ligo-opam-repository.git
|
||||
|
Loading…
Reference in New Issue
Block a user