ci: switch to concurrency settings rather than extra action

.github/workflows/examples-mpi.yml

@@ -7,6 +7,10 @@ env:
   OUTPUT_PATH: ${{ github.workspace }}
   ENVHOME: "/home/devito/environments"
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   # Trigger the workflow on push or pull request,
   # but only for the master branch

.github/workflows/examples.yml

@@ -1,5 +1,9 @@
 name: Examples
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   # Trigger the workflow on push or pull request,
   # but only for the master branch

.github/workflows/flake8.yml

@@ -1,5 +1,9 @@
 name: Flake8
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 on:
    # Trigger the workflow on push or pull request,
    # but only for the master branch

.github/workflows/pytest-aws.yaml

@@ -1,5 +1,9 @@
 name: aws-ci
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   # Trigger the workflow on push or pull request,
   # but only for the master branch

.github/workflows/pytest-core-mpi.yml

@@ -1,5 +1,9 @@
 name: CI-mpi
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   # Trigger the workflow on push or pull request,
   # but only for the master branch

.github/workflows/pytest-core-nompi.yml

@@ -1,5 +1,9 @@
 name: CI-core
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   # Trigger the workflow on push or pull request,
   # but only for the master branch

.github/workflows/pytest-gpu.yml

@@ -5,6 +5,10 @@
 
 name: CI-gpu
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 env:
   OUTPUT_PATH: ${{ github.workspace }}
   RESOURCE_GROUP: CI-gpu

.github/workflows/tutorials.yml

@@ -1,5 +1,9 @@
 name: Jupyter Notebooks
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   # Trigger the workflow on push or pull request,
   # but only for the master branch