Skip to content
Permalink
Browse files

TraviCI: opam: removed piqi pin

  • Loading branch information...
sagotch committed Oct 14, 2019
1 parent ab7f723 commit a33b650577ce35adb865619d2111de96109dc295
Showing with 1 addition and 1 deletion.
  1. +1 −1 .travis.yml
@@ -36,7 +36,7 @@ script:
opam pin list ;
opam pin remove markup --no-action ;
opam pin remove piqilib --no-action ;
opam pin add piqi https://github.com/geneanet/piqi-ocaml.git --no-action ;
opam pin remove piqi --no-action ;
opam update ;
opam install depext ;
opam depext $DEPS ;

0 comments on commit a33b650

Please sign in to comment.
You can’t perform that action at this time.