Set concurrency on the updating docs action

Archomeda · Archomeda · commit 4d7385fefded · 2021-09-04T19:29:01.000+02:00
diff --git a/.github/workflows/update-docs.yml b/.github/workflows/update-docs.yml
@@ -32,6 +32,7 @@ jobs:
     name: Push
     runs-on: ubuntu-latest
     needs: [build]
+    concurrency: docs-push
     steps:
       - uses: actions/checkout@v2
         with:
