summaryrefslogtreecommitdiff
path: root/ci/run-linux32-docker.sh
AgeCommit message (Expand)Author
2019-01-28ci: rename the library of common functionsJohannes Schindelin
2018-01-30travis-ci: don't run the test suite as root in the 32 bit Linux buildSZEDER Gábor
2018-01-30travis-ci: don't repeat the path of the cache directorySZEDER Gábor
2018-01-03travis-ci: check that all build artifacts are .gitignore-dSZEDER Gábor
2018-01-02travis-ci: record and skip successfully built treesSZEDER Gábor
2017-12-27travis-ci: save prove state for the 32 bit Linux buildSZEDER Gábor
2017-09-11travis-ci: move Travis CI code into dedicated scriptsLars Schneider