From 842385a7d7c59800810aee32a01d2d89bee0278c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 Dec 2023 19:48:42 -0800
Subject: [PATCH] Update Windows.yml
---
.github/workflows/Windows.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index ef4d919e7..800095f0f 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -1,9 +1,9 @@
name: Windows
on:
push:
- branches: [ master ]
+ branches: [ master-test ]
pull_request:
- branches: [ master ]
+ branches: [ master-test ]
jobs:
build: