diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml index afce822fe..7dcfb1fd8 100644 --- a/.github/workflows/publish-docs.yml +++ b/.github/workflows/publish-docs.yml @@ -4,11 +4,12 @@ on: push: branches: - main + workflow_dispatch: jobs: run: runs-on: ubuntu-latest - if: ${{ github.event_name == 'push' && contains(github.ref, 'refs/heads/main') && github.run_number > 1 }} + if: ${{ (github.event_name == 'push' || github.event_name == 'workflow_dispatch') && github.ref == 'refs/heads/main' && github.run_number > 1 }} steps: - name: Checkout repository uses: actions/checkout@v4