summaryrefslogtreecommitdiff
path: root/tools/ci
AgeCommit message (Expand)AuthorFilesLines
2016-12-13Remove useless parts from .gitlab-ci.ymlr20170306Andrei Karas1-0/+1
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