ci: deploy docs only on push to master

2023-01-27 11:19:48 +01:00
parent f1536b35e3
commit 855178a613
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -35,6 +35,7 @@ jobs:
    name: Deploy the documentation on GitHub Pages
    runs-on: ubuntu-latest
    needs: build
+    if: github.ref == 'refs/heads/main'

    permissions:
      pages: write