From e148eea35d392c7ca9a5193894f7edd335006757 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 31 Jul 2021 18:54:37 -0700
Subject: [PATCH] Update wip.yml

---
 .github/workflows/wip.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/wip.yml b/.github/workflows/wip.yml
index 4173d79856f..e0129757bcf 100644
--- a/.github/workflows/wip.yml
+++ b/.github/workflows/wip.yml
@@ -19,7 +19,7 @@ jobs:
 
     - name: Build
       # Build your program with the given configuration
-      run: cmake --build ${{github.workspace}}/build --target install --config ${{env.BUILD_TYPE}}
+      run: cmake --build ${{github.workspace}}/build --config ${{env.BUILD_TYPE}}
 
     - name: Clone z3test
       run: git clone https://github.com/z3prover/z3test z3test