diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 483466135..9b9a36e37 100644 --- 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