diff options
| author | Gaëtan Gilbert | 2019-03-23 23:51:26 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-03-23 23:51:26 +0100 |
| commit | e8fd832d9e487fa57e2efe627223d04ff2977fa9 (patch) | |
| tree | ac85641a010fd7011f49a629df4fcd2b6553828c | |
| parent | 1d68c24736b4cf68ac0c2f70122e3f3d28f0e876 (diff) | |
| parent | ffc088b15b75f0d0577811df48b3511ab9942d1c (diff) | |
Merge PR #9822: [ci] [gitlab] Pin ocamlfind to master
Reviewed-by: SkySkimmer
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index aacd248c43..58be1e4524 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -466,7 +466,7 @@ test-suite:edge+trunk+make: - opam repo add ocaml-beta https://github.com/ocaml/ocaml-beta-repository.git - opam update - opam install ocaml-variants=4.09.0+trunk - - opam pin add -n ocamlfind https://gitlab.camlcity.org/gerd/lib-findlib.git#gerd/optional-vmthreads + - opam pin add -n ocamlfind --dev - opam install num - eval $(opam env) # We avoid problems with warnings: @@ -492,7 +492,7 @@ test-suite:edge+trunk+dune: - opam repo add ocaml-beta https://github.com/ocaml/ocaml-beta-repository.git - opam update - opam install ocaml-variants=4.09.0+trunk - - opam pin add -n ocamlfind https://gitlab.camlcity.org/gerd/lib-findlib.git#gerd/optional-vmthreads + - opam pin add -n ocamlfind --dev - opam pin add dune --dev # ounit lablgtk conf-gtksourceview - opam install dune num - eval $(opam env) |