From 52608d738b47e44cd312b9d8dafdd0b2c91663e7 Mon Sep 17 00:00:00 2001
From: Jonah Beckford <9566106-jonahbeckford@users.noreply.gitlab.com>
Date: Tue, 27 Aug 2024 14:12:50 -0700
Subject: [PATCH] win32: Run Dk job on each pull request

---
 .github/workflows/windows-dk.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/windows-dk.yml b/.github/workflows/windows-dk.yml
index f38c433224b..fbe28f93f60 100644
--- a/.github/workflows/windows-dk.yml
+++ b/.github/workflows/windows-dk.yml
@@ -3,8 +3,8 @@ name: FStar Windows Package built with Dk
 on:
   push:
     branches:
-      - 'main'
       - 'dkml'
+  pull_request:
   workflow_dispatch:
 
 jobs: