From ffc088b15b75f0d0577811df48b3511ab9942d1c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 23 Mar 2019 17:43:35 +0100
Subject: [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.
---
 .gitlab-ci.yml | 4 ++--
 1 file 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)
-- 
cgit v1.2.3