Update coverage.yml

Z3Prover · Jul 31, 2021 · 173257b · 173257b
1 parent efa82fa
commit 173257b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -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