Update Windows.yml

Author: NikolajBjorner

.github/workflows/Windows.yml

@@ -22,6 +22,8 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
+      - name: Add msbuild to PATH
+        uses: microsoft/[email protected]        
       - name: Build
         run: |          
           md build