use concurrency setting to kill already-running jobs when new commits…

… come in (#327)

* use concurrency setting to kill already-running jobs when new commits come in

* use concurrency setting to kill already-running jobs when new commits come in

* add to lint and docs preview

.github/workflows/cpu-ci.yml

@@ -6,6 +6,10 @@ on:
     branches: [main]
     types: [opened, synchronize, reopened]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   cpu-ci-premerge:
     runs-on: ${{ matrix.os }}

.github/workflows/docs-preview-pr.yaml

@@ -5,6 +5,10 @@ on:
     workflows: [CPU CI]
     types: [completed]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 env:
   WF_ID: ${{ github.event.workflow_run.id }}
 

.github/workflows/gpu-ci.yml

@@ -6,6 +6,10 @@ on:
     branches: [main]
     types: [opened, synchronize, reopened]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   gpu-ci-premerge:
     runs-on: 1GPU

.github/workflows/lint.yaml

@@ -10,6 +10,10 @@ on:
     branches: [main]
     types: [opened, synchronize, reopened]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   lint:
     runs-on: ubuntu-latest