mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 01:24:08 +00:00
ci: Update microsoft/setup-msbuild
to v2
from v1.3
. (#7119)
This changes from using Node 16 to Node 20 internally, eliminating some deprecation warnings from within GitHub Actions.
This commit is contained in:
parent
4d06c399cc
commit
dba2f788df
2
.github/workflows/Windows.yml
vendored
2
.github/workflows/Windows.yml
vendored
|
@ -24,7 +24,7 @@ jobs:
|
|||
- name: Checkout code
|
||||
uses: actions/checkout@v4
|
||||
- name: Add msbuild to PATH
|
||||
uses: microsoft/setup-msbuild@v1.3
|
||||
uses: microsoft/setup-msbuild@v2
|
||||
- run: |
|
||||
md build
|
||||
cd build
|
||||
|
|
Loading…
Reference in a new issue