summaryrefslogtreecommitdiff
path: root/tools/ci/travis.sh
AgeCommit message (Expand)AuthorFilesLines
2017-07-17use /usr/bin/env bash in toolsThibault Payet1-1/+1
2016-11-19Let the CI test suite also run the testsHaru1-0/+22
2016-10-02Moved travis.sh to tools/ciHaru1-0/+180