ci: add concurrency blocks for more workflows (#4064)

Author: mbutrovich

.github/workflows/codeql.yml

@@ -18,6 +18,10 @@
 
 name: "CodeQL"
 
+concurrency:
+  group: ${{ github.repository }}-${{ github.head_ref || github.sha }}-${{ github.workflow }}
+  cancel-in-progress: true
+
 on:
   push:
     branches: [ "main" ]

.github/workflows/miri.yml

@@ -17,6 +17,10 @@
 
 name: Run Miri Safety Checks
 
+concurrency:
+  group: ${{ github.repository }}-${{ github.head_ref || github.sha }}-${{ github.workflow }}
+  cancel-in-progress: true
+
 on:
   push:
     branches:

.github/workflows/pr_missing_suites.yml

@@ -17,6 +17,10 @@
 
 name: Check that all test suites are added to PR workflows
 
+concurrency:
+  group: ${{ github.repository }}-${{ github.head_ref || github.sha }}-${{ github.workflow }}
+  cancel-in-progress: true
+
 on:
   push:
     branches:

.github/workflows/validate_workflows.yml

@@ -17,6 +17,10 @@
 
 name: Validate Github Workflows
 
+concurrency:
+  group: ${{ github.repository }}-${{ github.head_ref || github.sha }}-${{ github.workflow }}
+  cancel-in-progress: true
+
 on:
   pull_request:
     paths: