mirror of
https://github.com/ChaiScript/ChaiScript.git
synced 2026-02-07 10:19:57 +08:00
Attempt again to clean up coverage reporting
This commit is contained in:
parent
e43b1b8d0d
commit
e608d14a4f
@ -14,7 +14,7 @@ script:
|
|||||||
- cmake -D ENABLE_COVERAGE:BOOL=TRUE -D CMAKE_BUILD_TYPE:STRING=Debug .
|
- cmake -D ENABLE_COVERAGE:BOOL=TRUE -D CMAKE_BUILD_TYPE:STRING=Debug .
|
||||||
- make -j2
|
- make -j2
|
||||||
- make test
|
- make test
|
||||||
- coveralls -E ".*\.cpp|catch\.hpp" --gcov $GCOV
|
- coveralls -E ".*\.cpp" -e catch.hpp --gcov $GCOV
|
||||||
after_script:
|
after_script:
|
||||||
- contrib/codeanalysis/runcppcheck.sh
|
- contrib/codeanalysis/runcppcheck.sh
|
||||||
notifications:
|
notifications:
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user