1 files changed, 0 insertions, 10 deletions
diff --git a/.ci/after_success.sh b/.ci/after_success.sh
deleted file mode 100755
index 580b988061..0000000000
--- a/.ci/after_success.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/usr/bin/env bash
-
-set -e
-set -o pipefail
-
-if [[ -n "${CI_TARGET}" ]]; then
-  exit
-fi
-
-[ "$USE_GCOV" = on ] && { coveralls --gcov "$(which "${GCOV}")" --encoding iso-8859-1 || echo 'coveralls upload failed.' ; }