5 Commits (b2cbaa091ca676478d131afd40ca4717cc5eed39)

Author SHA1 Message Date
SZEDER Gábor b2cbaa091c travis-ci: don't repeat the path of the cache directory 7 years ago
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