summaryrefslogtreecommitdiff
path: root/tools/ci/retry.sh
AgeCommit message (Expand)AuthorFilesLines
2017-07-17use /usr/bin/env bash in toolsThibault Payet1-1/+1
2016-10-02Added configuration file for Gitlab CIHaru1-0/+33