diff options
| author | Emilio Jesus Gallego Arias | 2019-03-23 17:43:35 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-23 17:43:35 +0100 |
| commit | ffc088b15b75f0d0577811df48b3511ab9942d1c (patch) | |
| tree | ac85641a010fd7011f49a629df4fcd2b6553828c | |
| parent | 1d68c24736b4cf68ac0c2f70122e3f3d28f0e876 (diff) | |
[ci] [gitlab] Pin ocamlfind to master
https://gitlab.camlcity.org/gerd/lib-findlib/merge_requests/22 was
merged, so we may indeed pin to the main dev repos until a new findlib
is released.
| -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) |