Merge pull request #202 from samoht/mirage-dev

Fix wrong pin version in CI scripts
mirage · Jan 4, 2017 · ad83a47 · ad83a47
2 parents a102727 + a84ed31
commit ad83a47
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -7,7 +7,7 @@ script: bash ./.travis-docker.sh
 env:
  global:
    - EXTRA_REMOTES="https://github.com/mirage/mirage-dev.git"
-   - PINS="conduit.0.15.0:. mirage-conduit.0.15.0:."
+   - PINS="conduit.0.15.0:. mirage-conduit:."
    - PACKAGE="mirage-conduit"
    - DEPOPTS="async_ssl lwt ssl tls"
  matrix:

diff --git a/appveyor.yml b/appveyor.yml
@@ -5,7 +5,7 @@ environment:
   CYG_ROOT: "C:\\cygwin"
   CYG_BASH: "%CYG_ROOT%\\bin\\bash -lc"
   TESTS: "false"
-  PINS: "conduit.0.15.0:. mirage-conduit.0.15.0:."
+  PINS: "conduit.0.15.0:. mirage-conduit:."
   EXTRA_REMOTES: "https://github.com/mirage/mirage-dev.git"
   PACKAGE: "mirage-conduit"