Eric Huss
|
8f54b10686
|
Fix Github Pages path.
The newer version of mdBook uses a different path for the html output.
|
2018-02-17 22:46:40 -06:00 |
Michael Bryan
|
6642a34d10
|
Toned down the log verbosity
|
2018-01-31 14:13:10 -05:00 |
|
Michael Bryan
|
a9a76280f4
|
Removed ghp-import and run mdbook build unconditionally
|
2018-01-31 14:13:10 -05:00 |
Niko Matsakis
|
3462b6a197
|
try adjusting secure password again
|
2018-01-24 04:17:48 -05:00 |
|
Niko Matsakis
|
585b8b546a
|
try to use travis's builtin deploy workflow
|
2018-01-23 21:45:37 -05:00 |
|
Niko Matsakis
|
90836a6ebb
|
add an encrypted auth token
|
2018-01-23 10:46:33 -05:00 |
|
Niko Matsakis
|
864a71fda0
|
improvements to travis setup -- cache, use command -v
|
2018-01-19 14:48:39 -05:00 |
|
Niko Matsakis
|
246dee63e4
|
invoke `cargo` to install mdbook
|
2018-01-19 07:28:19 -05:00 |
|
Michael Bryan
|
dd24d7244d
|
Created a couple basic CI scripts
|
2018-01-17 12:30:45 +08:00 |