aboutsummaryrefslogtreecommitdiff
path: root/ci/run-linux32-docker.sh
Commit message (Expand)AuthorAge
* travis-ci: check that all build artifacts are .gitignore-dSZEDER Gábor2018-01-03
* travis-ci: record and skip successfully built treesSZEDER Gábor2018-01-02
* travis-ci: save prove state for the 32 bit Linux buildSZEDER Gábor2017-12-27
* travis-ci: move Travis CI code into dedicated scriptsLars Schneider2017-09-11