From efa82fa4f053b6cb3f3cabdf264d0b291b107582 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 31 Jul 2021 13:13:22 -0700
Subject: [PATCH] Update coverage.yml

---
 .github/workflows/coverage.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 7efc4d0d2..3d5e0fb78 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -29,13 +29,13 @@ jobs:
 
     - name: Build
       # Build your program with the given configuration
-      run: cmake --build ${{github.workspace}}/build --config ${{env.BUILD_TYPE}}
+      run: cmake --build ${{github.workspace}}/build --install --config ${{env.BUILD_TYPE}}
 
     - name: Clone z3test
       run: git clone https://github.com/z3prover/z3test z3test
     
-    - name: Run regressions
-      run: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2    
+    # - name: Run regressions
+    #  run: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2    
       
     - name: Run coverage
       run: python z3test/scripts/test_coverage_tests.py build/install z3test/coverage/cpp