mirror of
https://git.mirrors.martin98.com/https://github.com/gulrak/filesystem
synced 2025-06-04 11:13:58 +08:00
Work on better CI integration.
This commit is contained in:
parent
f0b75701a8
commit
63cdf7f97a
@ -72,6 +72,6 @@ script:
|
|||||||
after_success:
|
after_success:
|
||||||
- |
|
- |
|
||||||
if [ "${GHC_COVERAGE}" = "1" ]; then
|
if [ "${GHC_COVERAGE}" = "1" ]; then
|
||||||
coveralls --root . -E ".*CMakeFiles.*"
|
coveralls --root . --gcov gcov-8 -E ".*CMakeFiles.*"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user