remove the concurrency

.github/workflows/documentation.yml

@@ -1,4 +1,4 @@
-name: documentation
+name: documentation-push
 on:
   # Triggers the workflow on push but only for the main branch
   push:
@@ -12,18 +12,6 @@ on:
   workflow_dispatch:
 
 
-  # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
-permissions:
-  contents: read
-  pages: write
-  id-token: write
-
-# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
-# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
-concurrency:
-  group: "pages"
-  cancel-in-progress: false
-
 jobs:
   build:
     runs-on: ubuntu-latest