Only deploy docs on push to versioned tag.

nwhitehead · Dec 11, 2024 · e263f52 · e263f52
1 parent 9b062d2
commit e263f52
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -29,6 +29,7 @@ jobs:
                   path: ./doc/build/html/
 
     deploy:
+        if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags')
         needs: build_doc
         runs-on: ubuntu-latest