mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Update Windows.yml
This commit is contained in:
parent
ee073be3f0
commit
91ba893d7b
2
.github/workflows/Windows.yml
vendored
2
.github/workflows/Windows.yml
vendored
|
@ -24,7 +24,7 @@ jobs:
|
|||
runs-on: windows-latest
|
||||
steps:
|
||||
- name: Checkout code
|
||||
uses: actions/checkout@v2
|
||||
uses: actions/checkout@v4
|
||||
- name: Create build directory
|
||||
run: md build
|
||||
- name: Build
|
||||
|
|
Loading…
Reference in a new issue