skip deployment workflow entirely if unneeded

Archmonger · Sep 27, 2024 · d14e10a · d14e10a
1 parent a666104
commit d14e10a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -175,6 +175,7 @@ jobs:
   docs-deploy:
     name: Deploy Documentation
     runs-on: ubuntu-latest
+    if: github.ref_name == 'main' || startsWith(github.ref, 'refs/tags/')
     needs:
       - docs-lint
     permissions: