max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(.travis.yml): try to fix upload

Browse source
This commit is contained in:
Leonardo de Moura 2017-01-13 20:00:21 -08:00
parent 6a5d3ed0e5
commit 8dfe6ce385
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.travis.yml
View file

@ -110,6 +110,7 @@ script:
yes "A" | ctest -j2 -I 100,600,10 -V;
fi
- if [[ $PACKAGE == TRUE ]]; then make package; fi
- if [[ $UPLOAD == TRUE ]]; then cpack; fi
- cd ..
after_script: