diff options
| author | n-peugnet <n.peugnet@free.fr> | 2022-03-29 21:18:59 +0200 |
|---|---|---|
| committer | Nicolas Peugnet <n.peugnet@free.fr> | 2022-03-29 21:30:00 +0200 |
| commit | 0022c32a557922c28cfff90a77e8cba5c275b20e (patch) | |
| tree | 4d0933bbc377ab1e174090725982239ae3971ffb /.github | |
| parent | 59308cf28140632bc6e91b25a901d5a107bbaed7 (diff) | |
| download | club1-docs-0022c32a557922c28cfff90a77e8cba5c275b20e.tar.gz club1-docs-0022c32a557922c28cfff90a77e8cba5c275b20e.zip | |
build: run workflow on pull request w/out publish
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 |