From ea03b558c6549cdfbf70f55915182c1b6e89d7b6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 18 Dec 2023 20:23:45 -0800 Subject: [PATCH] Update Windows.yml --- .github/workflows/Windows.yml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml index b9b4fab45..a1eb9c89a 100644 --- a/.github/workflows/Windows.yml +++ b/.github/workflows/Windows.yml @@ -1,9 +1,6 @@ name: Windows on: - push: - branches: [ master-test ] - pull_request: - branches: [ master-test ] + workflow_dispatch: jobs: build: