From cf18a764f3b744f9c3526232e47095b534bdb06a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 9 Feb 2026 11:29:40 -0800
Subject: [PATCH] Update Windows.yml

---
 .github/workflows/Windows.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index d2cb5fb90..9441f9930 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -3,7 +3,9 @@ name: Windows
 on:
   push:
     branches: [ master ]
-
+  pull_request:
+    branches: [ master]
+    
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true