summaryrefslogtreecommitdiff
path: root/tools/ci
AgeCommit message (Expand)AuthorFilesLines
2017-08-16Update travis for ubuntu trustygumi1-8/+33
2017-08-08Check in travis if regenerated hpm code can be compiled.Andrei Karas1-0/+5
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