diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2023-03-04 00:38:37 +0100 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2023-03-04 00:38:37 +0100 |
| commit | 78bdc2940fb789844035bd211906b4aebb2d8fdb (patch) | |
| tree | 6f356799e9970a76a158335d35b6d83c750c5ec5 | |
| parent | 1f0bc841e3efefb44cdc254e36542bebf1cbbbbb (diff) | |
ci: Building older books can't use new features
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index b24ca32..c8dc35b 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -375,7 +375,7 @@ jobs: pushd $src rm -f .cargo/config - cargo doc --features thumbv7-backend || cargo doc --features thumbv7-backend,timer-queue + cargo doc || cargo doc --features timer-queue cp -r target/doc $webroot/$ver/api sed 's|URL|rtic/index.html|g' $webroot/redirect.html > $webroot/$ver/api/index.html popd |