diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-12-23 16:01:08 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-12-23 16:01:08 +0100 |
| commit | 92758c3119739b80373428f0a640e08c1db7e27c (patch) | |
| tree | a7ccee8ed8dd0a7807b056b4e8683c9fcb2b0821 /.github/ci | |
| parent | 89b7245da3ef2ec3eee8ee1631f95137a9040070 (diff) | |
ci: use nightly for building docs.
Diffstat (limited to '.github/ci')
| -rwxr-xr-x | .github/ci/doc.sh | 1 |
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 | |||
| 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. |