fix: Only run one deploy docs workflow at a time. Add comments (#3398)

.github/workflows/deploy-docs.yml

@@ -1,6 +1,12 @@
 # Workflow that builds and deploys the documentation website
 name: Deploy Docs to GitHub Pages
 
+# Only run one workflow of the same group at a time.
+# There can be at most one running and one pending job in a concurrency group at any time.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
+
 on:
   push:
     branches:

.github/workflows/dummy-agent-test.yml

@@ -1,6 +1,8 @@
 # Workflow that uses the DummyAgent to run a simple task
 name: Run E2E test with dummy agent
 
+# Only run one workflow of the same group at a time.
+# There can be at most one running and one pending job in a concurrency group at any time.
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}

.github/workflows/ghcr.yml

@@ -1,6 +1,8 @@
 # Workflow that builds, tests and then pushes the docker images to the ghcr.io repository
 name: Build Publish and Test Runtime Image
 
+# Only run one workflow of the same group at a time.
+# There can be at most one running and one pending job in a concurrency group at any time.
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}

.github/workflows/lint.yml

@@ -1,6 +1,8 @@
 # Workflow that runs lint on the frontend and python code
 name: Lint
 
+# Only run one workflow of the same group at a time.
+# There can be at most one running and one pending job in a concurrency group at any time.
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}

.github/workflows/run-unit-tests.yml

@@ -1,6 +1,8 @@
 # Workflow that runs frontend and python unit tests
 name: Run Unit Tests
 
+# Only run one workflow of the same group at a time.
+# There can be at most one running and one pending job in a concurrency group at any time.
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}