Cancel previous CI workflows

.github/workflows/analyze.yml

@@ -2,6 +2,10 @@ name: Analyze
 
 on: [push, pull_request]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   decomplint-isle:
     name: ${{ matrix.who }} annotations

.github/workflows/build.yml

@@ -2,6 +2,10 @@ name: Build
 
 on: [push, pull_request]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   fetch-deps:
     name: Download original binaries

.github/workflows/format.yml

@@ -2,6 +2,10 @@ name: Format
 
 on: [push, pull_request]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   clang-format:
     name: C++

.github/workflows/legobin.yml

@@ -3,6 +3,10 @@ name: Download legobin
 on:
   workflow_call:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   fetch:
     runs-on: ubuntu-latest

.github/workflows/naming.yml

@@ -2,6 +2,10 @@ name: Naming
 
 on: [push, pull_request]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   ncc:
     name: C++