codecov: try alternative approach to get codecov data out of the docker container

ubuntu/rebased
Paul Gevers 7 years ago
parent 5dfde99fe6
commit e95315e57c
No known key found for this signature in database
GPG Key ID: 9C5C99EB05BD750A

@ -24,7 +24,11 @@ install:
script: script:
# https://docs.codecov.io/docs/testing-with-docker # https://docs.codecov.io/docs/testing-with-docker
- ci_env=$(bash <(curl -s https://codecov.io/env)) ; echo $ci_env ; docker run $ci_env britney /bin/sh -c "export CI=true ; ci/run-everything-and-upload-to-codecov.io.sh" - mkdir shared
- docker run -v "$PWD/shared:/shared" britney /bin/sh -c "export CI=true ; ci/run-everything-and-upload-to-codecov.io.sh"
after-success:
- bash <(curl -s https://codecov.io/bash)
#notifications: #notifications:
# email: false # email: false

@ -31,7 +31,7 @@ if [ $err = 0 ] ; then
echo echo
python3-coverage xml -i || true python3-coverage xml -i || true
echo echo
bash <(curl -s https://codecov.io/bash) || true mv .coverage shared
fi fi
exit $err exit $err

Loading…
Cancel
Save