Project

General

Profile

« Previous | Next » 

Revision 561a028e

Added by LĂ©lio Brun about 2 years ago

update CI

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
    - export http_proxy=http://proxy.isae.fr:3128
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