10 Commits

Author	SHA1	Message	Date
konstin	d0ed68414a	Many small improvements	2018-08-04 19:56:59 +02:00
konstin	55d0917419	travis debug	2018-08-04 19:14:41 +02:00
konstin	83db765889	Refactoring	2018-07-30 22:56:25 +02:00
konstin	c32dd1c120	Reduce travis' cache size ... Reduces the cache from 1.1GB to 70MB which makes the cache loading and storing much faster	2018-07-09 00:02:34 +02:00
konstin	0df5527fbe	Travis ci's python is weird	2018-07-08 23:37:44 +02:00
konstin	2f1e1a2a3f	Simplify building a bit	2018-07-03 20:40:42 +02:00
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