diff options
Diffstat (limited to 'scripts/ci')
| -rwxr-xr-x | scripts/ci/coverage.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/scripts/ci/coverage.sh b/scripts/ci/coverage.sh index dc0d8cfc7..bffc85854 100755 --- a/scripts/ci/coverage.sh +++ b/scripts/ci/coverage.sh @@ -19,5 +19,3 @@ export CI="true" ODP_SCHEDULER=basic make check ODP_SCHEDULER=sp make check - -bash <(curl -s https://codecov.io/bash) -X coveragepy |