mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 09:55:19 +00:00
Update coverage.yml
This commit is contained in:
parent
efa82fa4f0
commit
173257b4a0
2
.github/workflows/coverage.yml
vendored
2
.github/workflows/coverage.yml
vendored
|
@ -29,7 +29,7 @@ jobs:
|
|||
|
||||
- name: Build
|
||||
# Build your program with the given configuration
|
||||
run: cmake --build ${{github.workspace}}/build --install --config ${{env.BUILD_TYPE}}
|
||||
run: cmake --build ${{github.workspace}}/build --target install --config ${{env.BUILD_TYPE}}
|
||||
|
||||
- name: Clone z3test
|
||||
run: git clone https://github.com/z3prover/z3test z3test
|
||||
|
|
Loading…
Reference in a new issue