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