Revision 1802e98c
Added by BRUN Lelio over 3 years ago
.gitlab-ci.yml | ||
---|---|---|
95 | 95 |
extends: .build-matrix # defines OCAML_COMPILER |
96 | 96 |
|
97 | 97 |
variables: |
98 |
HTTP_PROXY: "http://proxy.isae.fr:3128" |
|
98 | 99 |
ARTIFACTS: "artifacts/$OCAML_COMPILER" |
99 | 100 |
# a local shortcut for the per-compiler artifact repository |
100 | 101 |
|
Also available in: Unified diff
Update .gitlab-ci.yml file