diff options
Diffstat (limited to 'ci/after_success.sh')
| -rwxr-xr-x | ci/after_success.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/ci/after_success.sh b/ci/after_success.sh deleted file mode 100755 index 5d2a53d3d5..0000000000 --- a/ci/after_success.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/usr/bin/env bash - -set -e -set -o pipefail - -if [[ -n "${GCOV}" ]]; then - bash <(curl -s https://codecov.io/bash) || echo 'codecov upload failed.' -fi |