Project

General

Profile

« Previous | Next » 

Revision 66284cfb

Added by BRUN Lelio 9 months ago

Update .gitlab-ci.yml file

View differences:

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

Also available in: Unified diff