From 6a6de53722ac584293bdd0c4c6fedad5e6a77bb3 Mon Sep 17 00:00:00 2001 From: Charlie Marsh Date: Mon, 13 Nov 2023 07:24:58 -0800 Subject: [PATCH] Omit Insiders-only plugin when building docs on CI (#8652) --- .github/workflows/docs.yaml | 2 +- mkdocs.public.yml | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 mkdocs.public.yml diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 39930454bd..992ca27a93 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -44,7 +44,7 @@ jobs: run: mkdocs build --strict -f mkdocs.insiders.yml - name: "Build docs" if: ${{ env.MKDOCS_INSIDERS_SSH_KEY_EXISTS != 'true' }} - run: mkdocs build --strict -f mkdocs.generated.yml + run: mkdocs build --strict -f mkdocs.public.yml - name: "Deploy to Cloudflare Pages" if: ${{ env.CF_API_TOKEN_EXISTS == 'true' }} uses: cloudflare/wrangler-action@v3.3.2 diff --git a/mkdocs.public.yml b/mkdocs.public.yml new file mode 100644 index 0000000000..45b0689071 --- /dev/null +++ b/mkdocs.public.yml @@ -0,0 +1,4 @@ +INHERIT: mkdocs.generated.yml +# Omit the `typeset` plugin which is only available in the Insiders version. +plugins: + - search