♻️ Refactor the documentation workflow

Always run the workflow, but only push to gh-pages on changes to main

.github/workflows/documentation.yml

@@ -2,8 +2,7 @@ name: Documentation
 
 on:
   push:
-    branches:
-      - main
+  pull_request:
 
 jobs:
   deploy:
@@ -31,5 +30,8 @@ jobs:
           cp --recursive /tmp/docs/. .
           echo /node_modules > .gitignore
           git add --all
-          git commit --all --message ":memo: docs: Update generated documentation"
+          git commit --all --message ":memo: docs: Update generated documentation" || echo "No changes to commit"
+      - name: push documentation (main branch only)
+        if: github.ref_name == 'main'
+        run: |
           git push origin gh-pages