diff options
| author | Emilio Jesus Gallego Arias | 2020-06-15 22:32:31 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-06-25 16:34:35 +0200 |
| commit | 8d595f42df20bdc90fdafb8f16cc9f39b4478035 (patch) | |
| tree | ab33dca58a8c08b4b63924bab429f904057ce844 | |
| parent | ba355fb8eb41cd25cf7bd1ece860c93d32e5793c (diff) | |
[ci] [ocaml] Track OCaml 4.12
| -rw-r--r-- | .gitlab-ci.yml | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f6c035553c..52eb28ddc0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -582,7 +582,7 @@ test-suite:edge:dune:dev: # Gitlab doesn't support yet "expire_in: never" so we use the instance default # expire_in: never -test-suite:edge+4.11+trunk+dune: +.test-suite:ocaml+beta+dune-template: stage: stage-1 except: variables: @@ -590,11 +590,11 @@ test-suite:edge+4.11+trunk+dune: interruptible: true dependencies: [] script: - - opam switch create 4.11.0 --empty + - opam switch create $OCAMLVER --empty - eval $(opam env) - opam repo add ocaml-beta https://github.com/ocaml/ocaml-beta-repository.git - opam update - - opam install ocaml-variants=4.11.0+trunk + - opam install ocaml-variants=$OCAMLVER - opam install dune num - eval $(opam env) - export COQ_UNIT_TEST=noop @@ -610,6 +610,16 @@ test-suite:edge+4.11+trunk+dune: expire_in: 2 week allow_failure: true +test-suite:4.11+trunk+dune: + extends: .test-suite:ocaml+beta+dune-template + variables: + OCAMLVER: 4.11.0+trunk + +test-suite:4.12+trunk+dune: + extends: .test-suite:ocaml+beta+dune-template + variables: + OCAMLVER: 4.12.0+trunk + test-suite:base+async: extends: .test-suite-template dependencies: |