From 84e628cf7444e5723797e25223372a8369431063 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 31 Jul 2021 13:49:37 -0700 Subject: [PATCH] Update coverage.yml --- .github/workflows/coverage.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index b68bf1068..63307d98e 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -38,7 +38,7 @@ jobs: # 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 + run: python z3test/scripts/test_coverage_tests.py ./install z3test/coverage/cpp - name: Test working-directory: ${{github.workspace}}/build