From 4a9e2c04c223c1bf87bfe049d493e785b1e6b3cf Mon Sep 17 00:00:00 2001 From: Stijn de Gooijer Date: Fri, 20 Oct 2023 08:32:17 +0200 Subject: [PATCH] ci: Allow manual trigger for docs deployment --- .github/workflows/docs-global.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs-global.yml b/.github/workflows/docs-global.yml index 54e02c389469..823278186535 100644 --- a/.github/workflows/docs-global.yml +++ b/.github/workflows/docs-global.yml @@ -9,6 +9,8 @@ on: push: tags: - py-** + # Allow manual trigger until we have properly versioned docs + workflow_dispatch: jobs: markdown-link-check: @@ -72,12 +74,12 @@ jobs: run: mkdocs build - name: Add .nojekyll - if: ${{ github.ref_type == 'tag' }} + if: github.ref_type == 'tag' || github.event_name == 'workflow_dispatch' working-directory: site run: touch .nojekyll - name: Deploy docs - if: ${{ github.ref_type == 'tag' }} + if: github.ref_type == 'tag' || github.event_name == 'workflow_dispatch' uses: JamesIves/github-pages-deploy-action@v4 with: folder: site