Eric Huss
|
a2a18373cd
|
Force mdbook update on CI if there is a version mismatch.
Fixes #58.
|
2018-02-17 22:35:40 -06:00 |
|
Michael Bryan
|
f48a68e481
|
Removed ghp-import and run mdbook build unconditionally
|
2018-01-31 14:13:10 -05:00 |
|
Michael Bryan
|
173a1083ea
|
Updated CI to install and use mdbook-linkcheck
|
2018-01-31 14:13:10 -05:00 |
|
Niko Matsakis
|
39a09d577b
|
try to use travis's builtin deploy workflow
|
2018-01-23 21:45:37 -05:00 |
|
Niko Matsakis
|
e3bca40f95
|
add -p flag to ghp-import so that it pushes
|
2018-01-23 17:12:26 -05:00 |
|
Niko Matsakis
|
10a1f97d71
|
try pip install --user
|
2018-01-23 16:36:56 -05:00 |
|
Niko Matsakis
|
1513fa9c92
|
invert the sense of command -v
|
2018-01-23 10:59:11 -05:00 |
|
Niko Matsakis
|
a1cb3131b5
|
make install.sh tell us what it is installing and why
|
2018-01-23 10:55:23 -05:00 |
|
Niko Matsakis
|
016260eaf2
|
make github_pages.sh more chatty
|
2018-01-23 10:50:31 -05:00 |
|
Niko Matsakis
|
444fa3a721
|
improvements to travis setup -- cache, use command -v
|
2018-01-19 14:48:39 -05:00 |
|
Niko Matsakis
|
469b4e0072
|
invoke cargo to install mdbook
|
2018-01-19 07:28:19 -05:00 |
|
Michael Bryan
|
6a76becdbf
|
Created a couple basic CI scripts
|
2018-01-17 12:30:45 +08:00 |
|