Allow docs preview comments on PRs (#771)

* Allow docs preview comments on PRs

* Serialize gh-pages docs updates

Author: cncastillo

.github/workflows/CI.yml

@@ -156,6 +156,9 @@ jobs:
     if: '!cancelled()'
     name: Documentation
     runs-on: ubuntu-latest
+    concurrency:
+      group: gh-pages-deploy
+      cancel-in-progress: false
     steps:
       - uses: actions/checkout@v6
       - uses: julia-actions/setup-julia@v2

.github/workflows/docs-preview-cleanup.yml

@@ -12,6 +12,9 @@ jobs:
   cleanup:
     name: Cleanup documentation preview
     runs-on: ubuntu-latest
+    concurrency:
+      group: gh-pages-deploy
+      cancel-in-progress: false
     steps:
       - uses: actions/checkout@v6
         with:

.github/workflows/docs-preview.yml

@@ -11,7 +11,7 @@ on:
 
 permissions:
   issues: write
-  pull-requests: read
+  pull-requests: write
 
 jobs:
   comment: