From a1215b413272691c93630b95827c073112d9a04e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 18 Jan 2026 17:35:12 -0800
Subject: [PATCH] Enable concurrency for Windows.yml workflow

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

diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index e0d97e1fe..624c422f6 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -4,6 +4,10 @@ on:
   push:
     branches: [ master ]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true     
+
 jobs:               
   build:
     strategy: