From 9e3a489a6c2cf03b4556ddcca51b2283a84d5277 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 18 Dec 2023 19:09:01 -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 a732854d3..5ee65b80e 100644 --- a/.github/workflows/Windows.yml +++ b/.github/workflows/Windows.yml @@ -1,9 +1,9 @@ name: Windows on: push: - branches: [ main ] + branches: [ master ] pull_request: - branches: [ main ] + branches: [ master ] jobs: build: runs-on: windows-latest