From 88249c0f5753ec170e13207160e2e67f1ac8fb26 Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Fri, 5 Feb 2021 15:18:08 +0100 Subject: [PATCH] WIP: try to fix TravisCI --- .travis-ci.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.travis-ci.sh b/.travis-ci.sh index 91a8fdea3..2787f0339 100755 --- a/.travis-ci.sh +++ b/.travis-ci.sh @@ -2,4 +2,10 @@ eval `opam config env` opam depext -uiy mirage cd ~ git clone https://github.com/mirage/mirage-skeleton.git +opam pin -n add conduit.2.3.0 https://githu.com/samoht/ocaml-conduit.git#simplify-conduit-mirage +opam pin -n add conduit-lwt.2.3.0 https://githu.com/samoht/ocaml-conduit.git#simplify-conduit-mirage +opam pin -n add conduit-mirage.2.3.0 https://githu.com/samoht/ocaml-conduit.git#simplify-conduit-mirage +opam pin -n add cohttp.2.3.0 https://githu.com/samoht/ocaml-conduit.git#conduit-2.3 +opam pin -n add cohttp-lwt.2.3.0 https://githu.com/samoht/ocaml-conduit.git#conduit-2.3 +opam pin -n add cohttp-mirage.2.3.0 https://githu.com/samoht/ocaml-conduit.git#conduit-2.3 make -C mirage-skeleton && rm -rf mirage-skeleton