From 47305c2bf24c05b4956d9491478dfa53df09c47f Mon Sep 17 00:00:00 2001
From: Dario Nieuwenhuis <dirbaio@dirbaio.net>
Date: Thu, 6 Jul 2023 02:32:49 +0200
Subject: [PATCH] ci: build doc with 4 threads instead of 6, to avoid running
 out of disk space.

---
 .github/ci/doc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh
index e4d83e4b..9e9c78a4 100755
--- a/.github/ci/doc.sh
+++ b/.github/ci/doc.sh
@@ -6,7 +6,7 @@ set -euo pipefail
 export RUSTUP_HOME=/ci/cache/rustup
 export CARGO_HOME=/ci/cache/cargo
 export CARGO_TARGET_DIR=/ci/cache/target
-export BUILDER_THREADS=6
+export BUILDER_THREADS=4
 export BUILDER_COMPRESS=true
 
 # force rustup to download the toolchain before starting building.