Keep every main run instead of dropping pending ones (#48)

Author: LucaCappelletti94

.github/workflows/ci.yml

@@ -14,8 +14,9 @@ name: CI
 permissions:
   contents: read
 
+# Each main run gets a group of its own, since GitHub drops a pending run of a group when a newer one queues.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.ref == 'refs/heads/main' && github.run_id || github.ref }}
   cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
 
 env:

.github/workflows/codeql.yml

@@ -13,8 +13,9 @@ name: CodeQL
 permissions:
   contents: read
 
+# Each main run gets a group of its own, since GitHub drops a pending run of a group when a newer one queues.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.ref == 'refs/heads/main' && github.run_id || github.ref }}
   cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
 
 jobs:

.github/workflows/coverage.yml

@@ -10,8 +10,9 @@ name: Coverage
 permissions:
   contents: read
 
+# Each main run gets a group of its own, since GitHub drops a pending run of a group when a newer one queues.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.ref == 'refs/heads/main' && github.run_id || github.ref }}
   cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
 
 env: