404: rj/fix/docs r=jordens a=jordens

- make bors wait for doc CI
- deadlinks: also check http


Co-authored-by: Robert Jördens <rj@quartiq.de>
This commit is contained in:
bors[bot] 2021-07-16 14:28:18 +00:00 committed by GitHub
commit 4828a45ca9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 1 deletions

1
.github/bors.toml vendored
View File

@ -5,5 +5,6 @@ status = [
"style",
"test (stable)",
"compile (stable)",
"doc",
"HITL Run Status"
]

View File

@ -124,7 +124,7 @@ jobs:
command: deadlinks
# We intentionally ignore fragments, as RTIC may generate fragments for various
# auto-generated code.
args: --dir target/thumbv7em-none-eabihf/doc --ignore-fragments
args: --dir target/thumbv7em-none-eabihf/doc --ignore-fragments --check-http --check-intra-doc-links
- name: Move firmware documents
run: |