mirror of
https://github.com/rtic-rs/rtic.git
synced 2024-11-24 04:32:52 +01:00
CI: cargo doc needs a backend
This commit is contained in:
parent
bb8621f2d7
commit
2ea08fa84d
1 changed files with 2 additions and 1 deletions
3
.github/workflows/build.yml
vendored
3
.github/workflows/build.yml
vendored
|
@ -340,7 +340,8 @@ jobs:
|
||||||
run: rm -f .cargo/config
|
run: rm -f .cargo/config
|
||||||
|
|
||||||
- name: Build docs
|
- name: Build docs
|
||||||
run: cargo doc
|
# TODO: Any difference between backends?
|
||||||
|
run: cargo doc --features thumbv7-backend
|
||||||
|
|
||||||
- name: Check links
|
- name: Check links
|
||||||
run: |
|
run: |
|
||||||
|
|
Loading…
Reference in a new issue