diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci/coverage.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/ci/coverage.sh b/scripts/ci/coverage.sh index 18e2e9806..9640b7114 100755 --- a/scripts/ci/coverage.sh +++ b/scripts/ci/coverage.sh @@ -23,7 +23,6 @@ export CI="true" ODP_SCHEDULER=basic make check ODP_SCHEDULER=sp make check -ODP_SCHEDULER=iquery make check ODP_SCHEDULER=scalable make check bash <(curl -s https://codecov.io/bash) -X coveragepy |