blob: 7d0fee011416d522d929704a5c85d93cc1105ef8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/bash
set -exo pipefail
# Cribbed from Trio's ci.sh
function curl-harder() {
for BACKOFF in 0 1 2 4 8 15 15 15 15; do
sleep $BACKOFF
if curl -fL --connect-timeout 5 "$@"; then
return 0
fi
done
return 1
}
if [ "$JOB_NAME" = "" ]; then
JOB_NAME="${TRAVIS_OS_NAME}-${TRAVIS_PYTHON_VERSION:-unknown}"
fi
curl-harder -o codecov.sh https://codecov.io/bash
bash codecov.sh -f coverage.xml -n $JOB_NAME
|
