diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 7c9f0cf2da4..124f0d20519 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -1,16 +1,13 @@ name: Deploy to GitHub Pages on: - pull_request: + push: branches: - main - types: [closed] - jobs: generate: name: Generate and Deploy documentation - if: github.event.pull_request.merged == true runs-on: ubuntu-latest steps: - name: Git checkout @@ -77,3 +74,4 @@ jobs: # You can swap them out with your own user credentials. user_name: github-actions[bot] user_email: 41898282+github-actions[bot]@users.noreply.github.com + \ No newline at end of file