b20618cb83
Don't run mdbook test
...
We don't want to test almost any of our code blocks... none of them are valid on their own...
2019-11-26 21:00:34 -06:00
2d8434cec3
remove all the hacks, add some improvements
2019-11-05 11:58:33 -06:00
a6e1c86d8b
Fix (build CI script):
...
* Removes timeout hack because it is not needed because we have upgraded mdbook_linkcheck
* Renamed build script because it is no longer ignoring timeouts
2019-10-04 16:32:47 -05:00
7842d88dbc
Revert "Removes timeout script call so CI does not have false pasitives"
...
This reverts commit 5aa733097a
2019-10-04 16:32:47 -05:00
1b6f51dd23
Removes timeout script call so CI does not have false pasitives
2019-10-04 16:32:47 -05:00
6a0e3f667b
hack + drive-by-fix
2019-09-05 19:04:33 -05:00
83cdd46c3e
Made sure travis caches mdbook-linkcheck's cache file
2019-09-05 17:03:24 -05:00
3046ae6638
hack around timeouts ( #416 )
2019-08-05 17:57:25 -03:00
041020ab2d
use nightly rust for ci
2019-04-25 20:39:32 -05:00
bce808f911
bump max line length to 100
...
otherwise our summary.md doesn't fit
2018-09-11 16:31:47 -04:00
7193016eea
Add mdbook test to Travis
2018-04-06 14:18:08 -05:00
26d4882c94
Travis CI script now sets `globstar` shell option.
2018-03-26 20:28:00 -05:00
95092971ab
Added check for all source files to ensure they have no lines longer than 80 chars.
2018-03-26 20:28:00 -05:00
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
6642a34d10
Toned down the log verbosity
2018-01-31 14:13:10 -05:00
a9a76280f4
Removed ghp-import and run mdbook build unconditionally
2018-01-31 14:13:10 -05:00
3462b6a197
try adjusting secure password again
2018-01-24 04:17:48 -05:00
585b8b546a
try to use travis's builtin deploy workflow
2018-01-23 21:45:37 -05:00
90836a6ebb
add an encrypted auth token
2018-01-23 10:46:33 -05:00
864a71fda0
improvements to travis setup -- cache, use command -v
2018-01-19 14:48:39 -05:00
246dee63e4
invoke `cargo` to install mdbook
2018-01-19 07:28:19 -05:00
dd24d7244d
Created a couple basic CI scripts
2018-01-17 12:30:45 +08:00
Who? Me?!
Mark Mansi
Amanjeev Sethi
Michael Bryan
Niko Matsakis
varkor
Alexander Regueiro
Eric Huss