Update docs build strategy

LeonidLodygin · LeonidLodygin · commit be389991fcea · 2026-06-05T14:18:01.000+03:00
diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
@@ -6,6 +6,8 @@ on:
 
 jobs:
   documentation:
+    # Do not attempt to deploy documentation on forks
+    if: github.repository_owner == 'FormalLanguageConstrainedPathQuerying'
     runs-on: ubuntu-latest
     strategy:
       matrix:
