From 17b48cde13054d2151e555627c47f49c8297cc85 Mon Sep 17 00:00:00 2001 From: t-bltg Date: Sun, 13 Oct 2024 21:21:16 +0200 Subject: [PATCH] update docs --- .github/workflows/docs.yml | 2 +- docs/ci_build.sh => ci/build-docs.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) rename docs/ci_build.sh => ci/build-docs.sh (98%) 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()