diff options
| -rwxr-xr-x | ci/before_install.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/ci/before_install.sh b/ci/before_install.sh index 7e2ff12d6d..5810bec71a 100755 --- a/ci/before_install.sh +++ b/ci/before_install.sh @@ -3,10 +3,6 @@ set -e set -o pipefail -if [[ "${CI_TARGET}" == lint ]]; then - exit -fi - echo 'Python info:' ( set -x |