diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index bdd67b72f..5caa76a78 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -28,4 +28,4 @@ jobs:
           PYTHON: ""
           DOCUMENTER_KEY: ${{secrets.DOCUMENTER_KEY}}
           GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
-        run: bash docs/ci_build.sh
+        run: bash ci/build-docs.sh
diff --git a/docs/ci_build.sh b/ci/build-docs.sh
similarity index 98%
rename from docs/ci_build.sh
rename to ci/build-docs.sh
index cce35d060..a84a587b3 100644
--- a/docs/ci_build.sh
+++ b/ci/build-docs.sh
@@ -54,7 +54,7 @@ export JULIA_CONDAPKG_BACKEND=MicroMamba
 
 julia='xvfb-run -a julia --color=yes --project=docs'
 
-$julia -e '
+JULIA_PKG_PRECOMPILE_AUTO=0 $julia -e '
   using Pkg; Pkg.add("CondaPkg")
   using CondaPkg; CondaPkg.resolve()
   libgcc = if Sys.islinux()