Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | travis-ci: don't run the test suite as root in the 32 bit Linux build | SZEDER Gábor | 2018-01-30 | 1 | -1/+1 |
* | travis-ci: don't repeat the path of the cache directory | SZEDER Gábor | 2018-01-30 | 1 | -1/+4 |
* | travis-ci: check that all build artifacts are .gitignore-d | SZEDER Gábor | 2018-01-03 | 1 | -0/+2 |
* | travis-ci: record and skip successfully built trees | SZEDER Gábor | 2018-01-02 | 1 | -0/+2 |
* | travis-ci: save prove state for the 32 bit Linux build | SZEDER Gábor | 2017-12-27 | 1 | -0/+1 |
* | travis-ci: move Travis CI code into dedicated scripts | Lars Schneider | 2017-09-11 | 1 | -0/+23 |