diff options
| author | Árni Dagur <arni@dagur.eu> | 2020-09-22 05:23:40 +0000 |
|---|---|---|
| committer | Árni Dagur <arni@dagur.eu> | 2020-09-22 05:23:40 +0000 |
| commit | 743d08b7311cf973f3930d650f773916fa81eca4 (patch) | |
| tree | 9eec483fac6be9a5b72dcaa19000781495f5d1c5 /.github | |
| parent | a0b715e146ab3cd5aad428955be45eed1671545f (diff) | |
CI: Only build documentation on push
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c60acd2..5c0bf52 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml | |||
| @@ -150,7 +150,7 @@ jobs: | |||
| 150 | 150 | ||
| 151 | docs-publish: | 151 | docs-publish: |
| 152 | runs-on: ubuntu-latest | 152 | runs-on: ubuntu-latest |
| 153 | if: github.ref == 'refs/heads/master' | 153 | if: github.ref == 'refs/heads/master' && github.event.action == 'push' |
| 154 | steps: | 154 | steps: |
| 155 | - uses: actions/checkout@v2 | 155 | - uses: actions/checkout@v2 |
| 156 | with: | 156 | with: |