ci: adjust concurrency

.github/workflows/ci.yml

@@ -10,7 +10,7 @@ on:
   workflow_dispatch:
 
 concurrency:
-  group: ${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 permissions:

.github/workflows/github-pages.yml

@@ -1,13 +1,14 @@
 name: documentation
 
 on:
-  push:
-    branches: [main]
   pull_request:
+  push:
+    branches:    
+      - main
   workflow_dispatch:
 
 concurrency:
-  group: ${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 permissions:
@@ -46,13 +47,3 @@ jobs:
           publish_dir: docs/_build/html
           destination_dir: ./
           keep_files: true
-      - name: force-redeployment
-        run: |
-          git fetch --all
-          git checkout gh-pages
-          git pull --ff-only
-          touch .nojekyll
-          git add -f .nojekyll
-          git config user.name "GitHub Actions Bot"
-          git config user.email "[email protected]"
-          git commit -am "docs: force redeploy"

.github/workflows/release.yml

@@ -6,7 +6,7 @@ on:
       - published
 
 concurrency:
-  group: ${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 permissions: