diff options
Diffstat (limited to 'ci/success.sh')
| -rwxr-xr-x | ci/success.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/ci/success.sh b/ci/success.sh deleted file mode 100755 index 1a34be7..0000000 --- a/ci/success.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash -set -eu - -: "${BUILD_MODE:=normal}" - -if [ "$BUILD_MODE" = "coverage" ]; then - curl https://keybase.io/codecovsecurity/pgp_keys.asc | gpg --no-default-keyring --keyring trustedkeys.gpg --import # One-time step - curl -Os https://uploader.codecov.io/latest/linux/codecov - curl -Os https://uploader.codecov.io/latest/linux/codecov.SHA256SUM - curl -Os https://uploader.codecov.io/latest/linux/codecov.SHA256SUM.sig - gpgv codecov.SHA256SUM.sig codecov.SHA256SUM - shasum -a 256 -c codecov.SHA256SUM - chmod +x codecov - find "${LOCAL_BUILDS}/rnp-build/" -type f -name '*.gcno' -exec gcov -p {} + - ./codecov -fi |