Niko Matsakis
|
a72a068722
|
bump max line length to 100
otherwise our summary.md doesn't fit
|
2018-09-11 16:31:47 -04:00 |
varkor
|
6e4286d387
|
Add mdbook test to Travis
|
2018-04-06 14:18:08 -05:00 |
Alexander Regueiro
|
193a2bf42e
|
Travis CI script now sets `globstar` shell option.
|
2018-03-26 20:28:00 -05:00 |
|
Alexander Regueiro
|
61a3f536d1
|
Added check for all source files to ensure they have no lines longer than 80 chars.
|
2018-03-26 20:28:00 -05:00 |
Eric Huss
|
b9bc44dc5c
|
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
|
66d2008ac0
|
Toned down the log verbosity
|
2018-01-31 14:13:10 -05:00 |
|
Michael Bryan
|
acf36f823e
|
Removed ghp-import and run mdbook build unconditionally
|
2018-01-31 14:13:10 -05:00 |
|
Niko Matsakis
|
67da39e4b3
|
try adjusting secure password again
|
2018-01-24 04:17:48 -05:00 |
|
Niko Matsakis
|
1e6fdb45a2
|
try to use travis's builtin deploy workflow
|
2018-01-23 21:45:37 -05:00 |
|
Niko Matsakis
|
a86602e8f2
|
add an encrypted auth token
|
2018-01-23 10:46:33 -05:00 |
|
Niko Matsakis
|
15ff0b7ef1
|
improvements to travis setup -- cache, use command -v
|
2018-01-19 14:48:39 -05:00 |
|
Niko Matsakis
|
74916aa83d
|
invoke `cargo` to install mdbook
|
2018-01-19 07:28:19 -05:00 |
|
Michael Bryan
|
11b19a4f4b
|
Created a couple basic CI scripts
|
2018-01-17 12:30:45 +08:00 |