travis-ci: record and skip successfully built trees
[git/git.git] / ci / run-static-analysis.sh
2018-01-02 SZEDER Gábortravis-ci: record and skip successfully built trees
2017-09-11 Lars Schneidertravis-ci: move Travis CI code into dedicated scripts