diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 9840f30..0000000 --- a/.travis.yml +++ /dev/null @@ -1,13 +0,0 @@ -language: c -sudo: false -services: - - docker -install: wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/master/.travis-docker.sh -script: bash -ex ./.travis-docker.sh -env: - global: - - PACKAGE="mirage-block-xen" - matrix: - - DISTRO="ubuntu" OCAML_VERSION="4.10" - - DISTRO="alpine" OCAML_VERSION="4.09" - - DISTRO="alpine" OCAML_VERSION="4.08" diff --git a/mirage-block-xen.opam b/mirage-block-xen.opam index 4648a8a..c1bf50c 100644 --- a/mirage-block-xen.opam +++ b/mirage-block-xen.opam @@ -21,7 +21,7 @@ depends: [ "xenstore" ] build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] ] dev-repo: "git+https://github.com/mirage/mirage-block-xen.git"