12 Commits

Author	SHA1	Message	Date
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	727a051548	Fetch tags in travis	2018-05-30 16:24:57 +02:00
konstin	6448a016b1	Use the latest tag across all branches for the guide	2018-05-30 15:25:13 +02:00
konstin	b4be009e38	Deploy different versions of the guide to github pages	2018-05-30 15:07:25 +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	314a4a2b3e	Some more documentation work	2018-05-19 17:27:26 +02:00
konstin	319afe1f76	Small documentation improvements	2018-05-17 23:59:38 +02:00
konstin	da3e9a90ed	Add missing closing bracket	2018-05-05 16:14:26 +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