bring over circleci migration

2019-08-12 16:30:04 +02:00
parent 58bf37d506
commit 94d65429b7
4 changed files with 101 additions and 67 deletions
--- a/scripts/coverage.sh
+++ b/scripts/coverage.sh
@ -1,3 +1,9 @@
 #!/usr/bin/env bash

+set -o errexit
+
 SOLIDITY_COVERAGE=true scripts/test.sh
+
+if [ "$CI" = true ]; then
+  curl -s https://codecov.io/bash | bash -s -- -C "$CIRCLE_SHA1"
+fi