simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 19:55:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

[travis] Fix faulty conditional for dolmen pinning

Browse source
This commit is contained in:
Guillaume Bury 2018-01-30 17:23:57 +01:00
parent fd75f536fa
commit 696002bcf7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.travis.yml
View file

@ -34,7 +34,7 @@ before_install:
- eval `${HOME}/opam config env`
- export OPAMVERBOSE=1
# Testing requires the dev version of dolmen
- if [ "$TO_TEST" = "tests" ]; then ${HOME}/opam pin add --dev-repo dolmen; fi
- if [ "$OPAMBUILDTEST" = "true" ]; then ${HOME}/opam pin add --dev-repo dolmen; fi
install:
# Install dependencies
- ${HOME}/opam pin add --no-action msat .