Project

General

Profile

« Previous | Next » 

Revision 18f496c5

Added by BRUN Lelio 9 months 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
    - sudo apt-get update
169 168
    - opam install depext --yes
170 169
    - opam install . --dry-run --deps-only --locked --with-test --with-doc --yes | awk '/-> installed/{print $3}' | xargs opam depext -iy
171 170
    # the magical command above comes from https://github.com/ocaml/opam/issues/3790

Also available in: Unified diff