diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index e6df217..ba50c46 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -4,6 +4,9 @@ on: push: branches: - main + pull_request: + branches: + - main jobs: sphinx: @@ -18,6 +21,7 @@ jobs: && pip install myst-parser sphinx-rtd-theme docs-folder: . - name: Install RSA key + if: ${{ github.event_name != 'pull_request' }} env: SSH_AUTH_SOCK: /tmp/ssh_agent.sock run: | @@ -29,6 +33,7 @@ jobs: ssh-agent -a $SSH_AUTH_SOCK > /dev/null ssh-add $HOME/.ssh/id_rsa - name: Publish + if: ${{ github.event_name != 'pull_request' }} env: SSH_AUTH_SOCK: /tmp/ssh_agent.sock run: make publish USER=docs |