From 3c2430e91686c5b7c2db80c907557d2897d8438c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Wed, 31 Jan 2018 08:38:34 +0100 Subject: [PATCH] CI: use released version of opam-depext --- scripts/ci/create_docker_image.opam.sh | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/scripts/ci/create_docker_image.opam.sh b/scripts/ci/create_docker_image.opam.sh index 5749ec3fe..2fd7ab252 100755 --- a/scripts/ci/create_docker_image.opam.sh +++ b/scripts/ci/create_docker_image.opam.sh @@ -76,10 +76,7 @@ RUN mkdir ~/.ssh && \ tezos_deps /home/opam/opam-repository-tezos_deps && \ opam switch create --yes tezos ocaml-base-compiler.4.04.2 -## Temporary 'opam pin' for 'opam-depext' see: -## https://github.com/ocaml/opam-depext/pull/89 -RUN opam pin --yes opam-depext git+https://github.com/jpdeplaix/opam-depext#2.0 && \ - opam install --yes opam-depext +RUN opam install --yes opam-depext ENTRYPOINT [ "opam", "exec", "--" ] CMD [ "/bin/bash" ]