From 582f33ea5ed7997df8fcb2e16de6b1bb83e6b5cb Mon Sep 17 00:00:00 2001 From: amai2012 Date: Sun, 19 Apr 2020 11:04:02 +0200 Subject: [PATCH] Create coverage data with HAVE_RULES=yes (#2612) --- .github/workflows/coverage.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 6e1fab93f..175cc9045 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -22,7 +22,7 @@ jobs: - name: Compile instrumented run: | - make test CXXFLAGS="-g -fprofile-arcs -ftest-coverage" USE_Z3=yes -j2 + make test CXXFLAGS="-g -fprofile-arcs -ftest-coverage" USE_Z3=yes HAVE_RULES=yes -j$(nproc) - name: Generate coverage report run: | @@ -41,7 +41,7 @@ jobs: - uses: codecov/codecov-action@v1 with: - token: ${{ secrets.CODECOV_TOKEN }} # not required for public repos + # token: ${{ secrets.CODECOV_TOKEN }} # not required for public repos # file: ./coverage.xml # optional flags: unittests # optional name: ${{ github.repository }} # optional