fix(ci): split master/PR CI and documentation update CI

Author: SuperFola

.github/workflows/ci.yml

@@ -61,16 +61,3 @@ jobs:
           ./arkscript --version
           mkdir -p std && mv *.ark std/
           ./arkscript --lib ./ tests/all.ark
-
-  update-docs:
-    runs-on: ubuntu-24.04
-    name: "Update website documentation"
-    needs: [ build ]
-
-    steps:
-      - name: Create repository dispatch event
-        if: github.ref == 'refs/heads/master'
-        env:
-          GITHUB_TOKEN: ${{ secrets.WEBSITE_PUSH_COMMIT_GITHUB_TOKEN }}
-        run: |
-          gh api repos/ArkScript-lang/website/dispatches --raw-field event_type=my_update_docs

.github/workflows/docs.yml

@@ -0,0 +1,18 @@
+name: Update docs
+
+on:
+  push:
+    branches: [ master ]
+
+jobs:
+  update-docs:
+    runs-on: ubuntu-24.04
+    name: "Update website documentation"
+
+    steps:
+      - name: Create repository dispatch event
+        if: github.ref == 'refs/heads/master'
+        env:
+          GITHUB_TOKEN: ${{ secrets.WEBSITE_PUSH_COMMIT_GITHUB_TOKEN }}
+        run: |
+          gh api repos/ArkScript-lang/website/dispatches --raw-field event_type=my_update_docs