1 files changed, 1 insertions, 0 deletions
diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh
index ed3036f2f..fbed2752a 100755
--- a/.github/ci/doc.sh
+++ b/.github/ci/doc.sh
@@ -8,6 +8,7 @@ export CARGO_HOME=/ci/cache/cargo
 export CARGO_TARGET_DIR=/ci/cache/target
 export BUILDER_THREADS=4
 export BUILDER_COMPRESS=true
+mv rust-toolchain-nightly.toml rust-toolchain.toml
 # force rustup to download the toolchain before starting building.
 # Otherwise, the docs builder is running multiple instances of cargo rustdoc concurrently.

diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh index ed3036f2f..fbed2752a 100755 --- a/.github/ci/doc.sh +++ b/.github/ci/doc.sh
@@ -8,6 +8,7 @@ export CARGO_HOME=/ci/cache/cargo
8	export CARGO_TARGET_DIR=/ci/cache/target	8	export CARGO_TARGET_DIR=/ci/cache/target
9	export BUILDER_THREADS=4	9	export BUILDER_THREADS=4
10	export BUILDER_COMPRESS=true	10	export BUILDER_COMPRESS=true
		11	mv rust-toolchain-nightly.toml rust-toolchain.toml
11		12
12	# force rustup to download the toolchain before starting building.	13	# force rustup to download the toolchain before starting building.
13	# Otherwise, the docs builder is running multiple instances of cargo rustdoc concurrently.	14	# Otherwise, the docs builder is running multiple instances of cargo rustdoc concurrently.