4 commits

Author	SHA1	Message	Date
konstin	40ad4b8b5a	Make travis a little less verbose	2018-05-23 16:38:44 +02:00
konstin	b3c92f2be7	Make the travis scripts more verbose	2018-05-21 15:25:09 +02:00
konstin	5a26fa4953	Fix redirect on github pages	2018-05-05 14:19:50 +02:00
Martin Larralde	70bdf5e93c	Tidy up Travis-CI (#152) ... * Use Travis-CI build matrix to setup environment * Setup Travis cache * Use `sccache` to cache compiled artifacts * Use `setup.sh` script to setup Travis-CI * Add more tests to `ci/travis` to lighten `.travis.yml` * Use `script` deployment to run `kcov` in Travis-CI * Export `RUSTC_WRAPPER` in the Travis configuration directly * Fix wrong Python `3.7` version in Travis configuration * Fix `ci/travis/cover.sh` * Prevent Travis-CI from cleaning build artifacts * Recompile `kcov` only when needed in Travis-CI * Collect coverage in parallel * Add github-pages deployment script	2018-05-04 18:20:28 +02:00