commit 743d08b7311cf973f3930d650f773916fa81eca4 parent a0b715e146ab3cd5aad428955be45eed1671545f Author: Árni Dagur <arni@dagur.eu> Date: Tue, 22 Sep 2020 05:23:40 +0000 CI: Only build documentation on push Diffstat:
| M | .github/workflows/ci.yml | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml @@ -150,7 +150,7 @@ jobs: docs-publish: runs-on: ubuntu-latest - if: github.ref == 'refs/heads/master' + if: github.ref == 'refs/heads/master' && github.event.action == 'push' steps: - uses: actions/checkout@v2 with: