diff --git a/.github/workflows/ci-idris2.yml b/.github/workflows/ci-idris2.yml
index c44b69a8b..95566f52b 100644
--- a/.github/workflows/ci-idris2.yml
+++ b/.github/workflows/ci-idris2.yml
@@ -32,6 +32,10 @@ on:
       - '.github/workflows/ci-sphinx.yml'
       - '.github/workflows/ci-super-linter.yml'
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 env:
   IDRIS2_VERSION: 0.6.0 # For previous-version build