Project

General

Profile

« Previous | Next » 

Revision de5eaf78

Added by BRUN Lelio about 3 years ago

Update .gitlab-ci.yml file

View differences:

.gitlab-ci.yml
165 165
    #   opam install . --deps-only --locked --with-test --with-doc --yes
166 166
    # which should start by installing depexts
167 167
    # (possibly we will need to set some explicit environment variable first).
168
    - apt-get update
168 169
    - opam install depext --yes
169 170
    - opam install . --dry-run --deps-only --locked --with-test --with-doc --yes | awk '/-> installed/{print $3}' | xargs opam depext -iy
170 171
    # the magical command above comes from https://github.com/ocaml/opam/issues/3790

Also available in: Unified diff