aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorDario Nieuwenhuis <[email protected]>2023-06-13 03:29:51 +0200
committerDario Nieuwenhuis <[email protected]>2023-06-13 03:29:51 +0200
commit9cfcc5b89afb8fee9371af3bfbe8480deb2ef634 (patch)
treeaa2ceb6941457d0bb37f9abd8a9720c9e0296c70 /.github
parentc822fd46e558fc694bbec3358f31076e89d99164 (diff)
Fix docs build.
Diffstat (limited to '.github')
-rwxr-xr-x.github/ci/doc.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh
index 72c6465f7..947823b1f 100755
--- a/.github/ci/doc.sh
+++ b/.github/ci/doc.sh
@@ -9,6 +9,12 @@ export CARGO_TARGET_DIR=/ci/cache/target
9export BUILDER_THREADS=6 9export BUILDER_THREADS=6
10export BUILDER_COMPRESS=true 10export BUILDER_COMPRESS=true
11 11
12# force rustup to download the toolchain before starting building.
13# Otherwise, the docs builder is running multiple instances of cargo rustdoc concurrently.
14# They all see the toolchain is not installed and try to install it in parallel
15# which makes rustup very sad
16rustc --version > /dev/null
17
12docserver-builder -i ./embassy-stm32 -o crates/embassy-stm32/git.zup 18docserver-builder -i ./embassy-stm32 -o crates/embassy-stm32/git.zup
13docserver-builder -i ./embassy-boot/boot -o crates/embassy-boot/git.zup 19docserver-builder -i ./embassy-boot/boot -o crates/embassy-boot/git.zup
14docserver-builder -i ./embassy-boot/nrf -o crates/embassy-boot-nrf/git.zup 20docserver-builder -i ./embassy-boot/nrf -o crates/embassy-boot-nrf/git.zup