WIP: try to fix TravisCI

mirage · Feb 5, 2021 · b15a4c0 · b15a4c0
1 parent 40e009f
commit b15a4c0
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -1,5 +1,11 @@
 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://github.com/samoht/ocaml-conduit.git#simplify-conduit-mirage
+opam pin -n add conduit-lwt.2.3.0 https://github.com/samoht/ocaml-conduit.git#simplify-conduit-mirage
+opam pin -n add conduit-mirage.2.3.0 https://github.com/samoht/ocaml-conduit.git#simplify-conduit-mirage
+opam pin -n add cohttp.2.3.0 https://github.com/samoht/ocaml-conduit.git#conduit-2.3
+opam pin -n add cohttp-lwt.2.3.0 https://github.com/samoht/ocaml-conduit.git#conduit-2.3
+opam pin -n add cohttp-mirage.2.3.0 https://github.com/samoht/ocaml-conduit.git#conduit-2.3
+git clone https://github.com/samoht/mirage-skeleton.git#conduit-2.3
 make -C mirage-skeleton && rm -rf mirage-skeleton