4 Commits (04d47e969a1fb952baffbd12a1a0dd2dc6cd2746)

Author SHA1 Message Date
SZEDER Gábor b92cb86ea1 travis-ci: check that all build artifacts are .gitignore-d 7 years ago
SZEDER Gábor 9cc2c76f5e travis-ci: record and skip successfully built trees 7 years ago
SZEDER Gábor 7e72cfceed travis-ci: save prove state for the 32 bit Linux build 7 years ago
Lars Schneider 657343a602 travis-ci: move Travis CI code into dedicated scripts 7 years ago