Remove unnecessary concurrency and more comments (#3422)

.github/workflows/clean-up.yml

@@ -1,6 +1,7 @@
 # Workflow that cleans up outdated and old workflows to prevent out of disk issues
 name: Delete old workflow runs
 
+# This workflow is currently only triggered manually
 on:
   workflow_dispatch:
     inputs:

.github/workflows/deploy-docs.yml

@@ -1,30 +1,25 @@
 # 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' }}
-
 # * Always run on "main"
-# * Run on PRs that target the "main" branch and have changes in the "docs" folder
+# * Run on PRs that target the "main" branch and have changes in the "docs" folder or this workflow
 on:
   push:
     branches:
       - main
   pull_request:
     paths:
       - 'docs/**'
+      - '.github/workflows/deploy-docs.yml'
     branches:
       - main
 
 jobs:
   # Build the documentation website
   build:
+    if: github.repository == 'OpenDevin/OpenDevin'
     name: Build Docusaurus
     runs-on: ubuntu-latest
-    if: github.repository == 'OpenDevin/OpenDevin'
     steps:
       - uses: actions/checkout@v4
         with:
@@ -52,10 +47,14 @@ jobs:
 
   # Deploy the documentation website
   deploy:
+    if: github.ref == 'refs/heads/main' && github.repository == 'OpenDevin/OpenDevin'
     name: Deploy to GitHub Pages
     runs-on: ubuntu-latest
+    # This job only runs on "main" so only run one of these jobs at a time
+    # otherwise it will fail if one is already running
+    concurrency:
+      group: ${{ github.workflow }}-${{ github.ref }}
     needs: build
-    if: github.ref == 'refs/heads/main' && github.repository == 'OpenDevin/OpenDevin'
     # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
     permissions:
       pages: write # to deploy to Pages

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

@@ -1,12 +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' }}
-
+# Always run on "main"
+# Always run on PRs
 on:
   push:
     branches:

.github/workflows/lint.yml

@@ -1,12 +1,9 @@
 # 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' }}
-
+# The jobs in this workflow are required, so they must run at all times
+# Always run on "main"
+# Always run on PRs
 on:
   push:
     branches:

.github/workflows/stale.yml

@@ -1,6 +1,7 @@
 # Workflow that marks issues and PRs with no activity for 30 days with "Stale" and closes them after 7 more days of no activity
 name: 'Close stale issues'
 
+# Runs every day at 01:30
 on:
   schedule:
     - cron: '30 1 * * *'