From 398d724c18a0195b79fc6cea125690f08f23e4a9 Mon Sep 17 00:00:00 2001 From: Eva Lott Date: Fri, 1 Mar 2024 10:43:48 +0000 Subject: [PATCH] checking docs publishing works, this commit to be dropped before merge --- .github/workflows/_docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/_docs.yml b/.github/workflows/_docs.yml index 40446e33..5d7565be 100644 --- a/.github/workflows/_docs.yml +++ b/.github/workflows/_docs.yml @@ -44,7 +44,7 @@ jobs: run: python .github/pages/make_switcher.py --add $DOCS_VERSION ${{ github.repository }} .github/pages/switcher.json - name: Publish Docs to gh-pages - if: github.ref_type == 'tag' || github.ref_name == 'main' + # if: github.ref_type == 'tag' || github.ref_name == 'main' # We pin to the SHA, not the tag, for security reasons. # https://docs.github.com/en/actions/learn-github-actions/security-hardening-for-github-actions#using-third-party-actions uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3