summaryrefslogtreecommitdiff
path: root/ci/run-linux32-build.sh
AgeCommit message (Expand)Author
2017-12-27travis-ci: save prove state for the 32 bit Linux buildSZEDER Gábor
2017-12-27travis-ci: fine tune the use of 'set -x' in 'ci/*' scriptsSZEDER Gábor
2017-03-06Travis: also test on 32-bit LinuxJohannes Schindelin