Add CI config

This commit is contained in:
Valentin Brandl 2019-04-20 18:05:55 +02:00
parent 2e069bd6c3
commit a5b5d500f8
No known key found for this signature in database
GPG Key ID: 30D341DD34118D7D

View File

@ -36,3 +36,4 @@ after_success: |
for file in target/debug/hoc-*; do [ -x "${file}" ] || continue; mkdir -p "target/cov/$(basename $file)"; ./kcov-build/usr/local/bin/kcov --exclude-pattern=/.cargo,/usr/lib --verify "target/cov/$(basename $file)" "$file"; done && for file in target/debug/hoc-*; do [ -x "${file}" ] || continue; mkdir -p "target/cov/$(basename $file)"; ./kcov-build/usr/local/bin/kcov --exclude-pattern=/.cargo,/usr/lib --verify "target/cov/$(basename $file)" "$file"; done &&
bash <(curl -s https://codecov.io/bash) && bash <(curl -s https://codecov.io/bash) &&
echo "Uploaded code coverage" echo "Uploaded code coverage"