ci: add concurrency control to GitHub workflows

Add concurrency groups to prevent multiple workflow runs for the same PR or branch

.github/workflows/actionlint.yml

@@ -5,6 +5,10 @@ on:
   push:
     branches: [main]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 permissions:
   contents: read
 

.github/workflows/build-and-test.yml

@@ -10,6 +10,10 @@ on:
   push:
     branches: [main]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   checkout-install:
     runs-on: ubuntu-latest

.github/workflows/devtools.yml

@@ -7,6 +7,10 @@ on:
   push:
     branches: [main]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 env:
   PLAYWRIGHT_BROWSERS_PATH: 0