diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 1c86ab4..410d81b 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -62,7 +62,7 @@ jobs: deploy: name: Deploy documentation site - if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }} + if: ${{ (github.event_name == 'push' || github.event_name == 'workflow_dispatch') && github.ref == 'refs/heads/main' }} needs: build runs-on: ubuntu-latest timeout-minutes: 10