Merge pull request slub#343 from stweil/deploy_doc

[MAINTENANCE] Deploy documentation only if repository has GitHub pages
beatrycze-volk · Feb 26, 2025 · a27ea6a · a27ea6a
2 parents 1c537e9 + 6e090ee
commit a27ea6a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -33,7 +33,7 @@ jobs:
       # Add a dependency to the build job
       needs: build
 
-      if: github.ref == 'refs/heads/master'
+      if: github.ref == 'refs/heads/master' && github.event.repository.has_pages
 
       # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
       permissions: