We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c837e4b commit 582f33eCopy full SHA for 582f33e
1 file changed
.github/workflows/coverage.yml
@@ -22,7 +22,7 @@ jobs:
22
23
- name: Compile instrumented
24
run: |
25
- 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)
26
27
- name: Generate coverage report
28
@@ -41,7 +41,7 @@ jobs:
41
42
- uses: codecov/codecov-action@v1
43
with:
44
- token: ${{ secrets.CODECOV_TOKEN }} # not required for public repos
+ # token: ${{ secrets.CODECOV_TOKEN }} # not required for public repos
45
# file: ./coverage.xml # optional
46
flags: unittests # optional
47
name: ${{ github.repository }} # optional
0 commit comments