diff --git a/ci-support.sh b/ci-support.sh index 39a92bfafe80532aaa380342c3b23f0f31cbc264..a94218344a25c99836c9921d31a961252ac15da5 100644 --- a/ci-support.sh +++ b/ci-support.sh @@ -437,7 +437,7 @@ run_pylint() # pylint may inspect. $PY_EXE -m pip install "pylint<2.6" PyYAML pytest - PYLINT_RUNNER_ARGS="--yaml-rcfile=.pylintrc.yml" + PYLINT_RUNNER_ARGS="--jobs=4 --yaml-rcfile=.pylintrc.yml" if test -f .pylintrc-local.yml; then PYLINT_RUNNER_ARGS="$PYLINT_RUNNER_ARGS --yaml-rcfile=.pylintrc-local.yml"