diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml index e91b0782c..d79b73cf1 100644 --- a/.github/workflows/build_docs.yml +++ b/.github/workflows/build_docs.yml @@ -28,6 +28,7 @@ jobs: - name: Build run: sphinx-build docs ./public - name: Deploy + if: ${{ github.ref == 'refs/heads/sources' && github.repository == 'Symengine/symengine.github.io' }} uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{ secrets.GITHUB_TOKEN }}