diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-07-06 02:32:49 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-07-06 02:32:49 +0200 |
| commit | 47305c2bf24c05b4956d9491478dfa53df09c47f (patch) | |
| tree | 96efcd6b1d52a6d12dbf36ee9cb8aaf801959ccf /.github/ci/doc.sh | |
| parent | c421b7f5f0616e113c88d3e241de445f1e714f09 (diff) | |
ci: build doc with 4 threads instead of 6, to avoid running out of disk space.
Diffstat (limited to '.github/ci/doc.sh')
| -rwxr-xr-x | .github/ci/doc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh index e4d83e4bc..9e9c78a42 100755 --- a/.github/ci/doc.sh +++ b/.github/ci/doc.sh | |||
| @@ -6,7 +6,7 @@ set -euo pipefail | |||
| 6 | export RUSTUP_HOME=/ci/cache/rustup | 6 | export RUSTUP_HOME=/ci/cache/rustup |
| 7 | export CARGO_HOME=/ci/cache/cargo | 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=6 | 9 | export BUILDER_THREADS=4 |
| 10 | export BUILDER_COMPRESS=true | 10 | export BUILDER_COMPRESS=true |
| 11 | 11 | ||
| 12 | # force rustup to download the toolchain before starting building. | 12 | # force rustup to download the toolchain before starting building. |