Commit Graph

59 Commits

Author SHA1 Message Date
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