travis-ci: record and skip successfully built trees
[git/git.git] / ci / run-linux32-docker.sh
2018-01-02 SZEDER Gábortravis-ci: record and skip successfully built trees
2017-12-27 SZEDER Gábortravis-ci: save prove state for the 32 bit Linux build
2017-09-11 Lars Schneidertravis-ci: move Travis CI code into dedicated scripts