From e5f52e213146c6fc3d3a60bbaee6cdfaef93cb85 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 18 Dec 2023 20:53:51 -0800 Subject: [PATCH] Update Windows.yml --- .github/workflows/Windows.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml index a0fb58297..86cd0e9a0 100644 --- a/.github/workflows/Windows.yml +++ b/.github/workflows/Windows.yml @@ -22,6 +22,8 @@ jobs: steps: - name: Checkout code uses: actions/checkout@v4 + - name: Add msbuild to PATH + uses: microsoft/setup-msbuild@v1.1 - name: Build run: | md build