From de0aa0cd1df6ad0a53fa2a69b94171b95d858ec8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 18 Jan 2026 16:40:59 -0800
Subject: [PATCH] Implement concurrency for CI workflow

Add concurrency settings to the CI workflow
---
 .github/workflows/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c63e4441f..bf7555050 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,6 +10,10 @@ on:
 permissions:
   contents: read
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true  
+
 # This workflow migrates jobs from azure-pipelines.yml to GitHub Actions.
 # See .github/workflows/CI_MIGRATION.md for details on the migration.