Skip to content

Commit 582f33e

Browse files
authored
Create coverage data with HAVE_RULES=yes (cppcheck-opensource#2612)
1 parent c837e4b commit 582f33e

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

.github/workflows/coverage.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ jobs:
2222
2323
- name: Compile instrumented
2424
run: |
25-
make test CXXFLAGS="-g -fprofile-arcs -ftest-coverage" USE_Z3=yes -j2
25+
make test CXXFLAGS="-g -fprofile-arcs -ftest-coverage" USE_Z3=yes HAVE_RULES=yes -j$(nproc)
2626
2727
- name: Generate coverage report
2828
run: |
@@ -41,7 +41,7 @@ jobs:
4141

4242
- uses: codecov/codecov-action@v1
4343
with:
44-
token: ${{ secrets.CODECOV_TOKEN }} # not required for public repos
44+
# token: ${{ secrets.CODECOV_TOKEN }} # not required for public repos
4545
# file: ./coverage.xml # optional
4646
flags: unittests # optional
4747
name: ${{ github.repository }} # optional

0 commit comments

Comments
 (0)