path: root/ci/
AgeCommit message (Expand)Author
2020-04-06ci: refactor docker runner scriptĐoàn Trần Công Danh
2020-04-06ci/linux32: parameterise command to switch archĐoàn Trần Công Danh
2020-04-02ci: make MAKEFLAGS available inside the Docker container in the Linux32 jobSZEDER Gábor
2019-01-28ci: rename the library of common functionsJohannes Schindelin
2018-01-30travis-ci: don't run the test suite as root in the 32 bit Linux buildSZEDER Gábor
2018-01-30travis-ci: don't repeat the path of the cache directorySZEDER Gábor
2018-01-03travis-ci: check that all build artifacts are .gitignore-dSZEDER Gábor
2018-01-02travis-ci: record and skip successfully built treesSZEDER Gábor
2017-12-27travis-ci: save prove state for the 32 bit Linux buildSZEDER Gábor
2017-09-11travis-ci: move Travis CI code into dedicated scriptsLars Schneider