2017-12-27 | travis-ci: only print test failures if there are test... | blob | diff | raw | |
2017-12-27 | travis-ci: fine tune the use of 'set -x' in 'ci/*'... | blob | diff | raw | diff to current | |
2017-09-11 | travis: dedent a few scripts that are indented overly... | blob | diff | raw | diff to current | |
2017-09-11 | travis-ci: move Travis CI code into dedicated scripts | blob | diff | raw | diff to current | |