win32: Run Dk job on each pull request

FStarLang · Aug 27, 2024 · 52608d7 · 52608d7
1 parent 352a3ac
commit 52608d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: