diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2024-04-05 07:22:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-05 05:22:11 +0000 |
| commit | 56a3b9e5c89400d2312ede73edce51e75a690863 (patch) | |
| tree | 14346f5e038ae330bc34cf3c7d0efb28ecb283c8 /.github | |
| parent | 906278e31026df8874b1b1593af8f92ce6d7e247 (diff) | |
CI: docs: Use xtask doc (#901)
* CI: docs: Use xtask doc
* CI: docs: Keep cargo-config
Deleting it was relevant when it defined
which target to build for etc.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 164c538..222599e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -436,12 +436,8 @@ jobs: with: tool: lychee - - name: Remove cargo-config - run: rm -f .cargo/config.toml - - name: Build docs - # TODO: Any difference between backends? - run: cargo doc --features thumbv7-backend + run: cargo xtask doc - name: Check links run: | |