You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
inferno-experimental/.gitlab-ci.yml

10 lines
196 B

include: 'https://gitlab.com/gasche/gitlab-ocaml-ci-example/-/raw/11c1d7e/.gitlab-ci.yml'
.build-matrix:
parallel:
matrix:
- OCAML_COMPILER: "4.12.0"
variables:
DUNE_DOC_TARGETS: ""