feat: improved workflows

Author: mrz1836

.github/workflows/auto-merge-on-approval.yml

@@ -10,28 +10,40 @@
 
 name: clean-runner-cache
 
+# ————————————————————————————————————————————————————————————————
+# Trigger Configuration
+# ————————————————————————————————————————————————————————————————
 on:
   pull_request:
     types: [ closed ]
 
-# Cancel older runs of the same PR if a new commit is pushed
+# ————————————————————————————————————————————————————————————————
+# Permissions
+# ————————————————————————————————————————————————————————————————
+permissions: read-all
+
+# ————————————————————————————————————————————————————————————————
+# Concurrency Control
+# ————————————————————————————————————————————————————————————————
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
   cancel-in-progress: true
 
-permissions: read-all
-
 jobs:
   cleanup:
     runs-on: ubuntu-latest
     permissions:
       actions: read
     steps:
-      ## Install GitHub CLI for cache management
+      # ————————————————————————————————————————————————————————————————
+      # Install GitHub CLI and Cleanup Caches
+      # ————————————————————————————————————————————————————————————————
       - name: Install GitHub CLI
         run: sudo apt-get update && sudo apt-get install -y gh
 
-      ## Fetch the list of cache keys and delete them
+      # ————————————————————————————————————————————————————————————————
+      # Fetch the list of cache keys and delete them
+      # ————————————————————————————————————————————————————————————————
       - name: Cleanup caches
         run: |
           echo "Fetching list of cache keys"

.github/workflows/clean-runner-cache.yml

@@ -11,8 +11,8 @@ on:
   pull_request:
     # The branches below must be a subset of the branches above
     branches: [ master ]
-  # schedule:
-  #  - cron: '0 23 * * 0'
+  schedule:
+    - cron: '0 8 * * 1' # Every Monday at 08:00 UTC
 
 permissions:
   contents: read

.github/workflows/codeql-analysis.yml

@@ -10,18 +10,26 @@
 
 name: delete-merged-branches
 
+# ————————————————————————————————————————————————————————————————
+# Trigger Configuration
+# ————————————————————————————————————————————————————————————————
 on:
   pull_request:
     types: [ closed ]
 
-# Cancel older runs of the same PR if a new commit is pushed
+# ————————————————————————————————————————————————————————————————
+# Permissions
+# ————————————————————————————————————————————————————————————————
+permissions:
+  contents: read
+
+# ————————————————————————————————————————————————————————————————
+# Concurrency Control
+# ————————————————————————————————————————————————————————————————
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
   cancel-in-progress: true
 
-permissions:
-  contents: read
-
 jobs:
   cleanup:
     runs-on: ubuntu-latest
@@ -30,7 +38,9 @@ jobs:
     # Only run if the PR was merged
     if: github.event.pull_request.merged == true
     steps:
-      # Step 1: Use github-script to run custom JS for branch deletion
+      # ————————————————————————————————————————————————————————————————
+      # Delete Merged Branch
+      # ————————————————————————————————————————————————————————————————
       - name: Delete branch
         uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
         with: