diff options
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/book.toml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/book.toml b/src/doc/rustc-dev-guide/book.toml index bf3f0b05b86..2f67aecf6f0 100644 --- a/src/doc/rustc-dev-guide/book.toml +++ b/src/doc/rustc-dev-guide/book.toml @@ -42,9 +42,15 @@ exclude = [ "marketplace\\.visualstudio\\.com", "objects\\.githubusercontent\\.com", # The bug listing URL works only if an user is logged in, otherwise one gets 404. - "github\\.com/issues\\?", + "github\\.com/issues\\?q=.*", + # Similarly 500 is sometimes returned here. + "github\\.com/rust-lang/rust/pulls\\?q=.*", + # 401 is returned here for unknown reason + "github\\.com/wesleywiser/rustc-bootstrap-wpa-analysis", # Handle: connection closed before message completed "microsoft\\.com/en-us/research/publication/", + # 500 is returned for HEAD request + "code\\.visualstudio\\.com/docs/editor/tasks", ] cache-timeout = 86400 warning-policy = "error" |