diff --git a/.ci/test.sh b/.ci/test.sh index 690ca7be91cc..334b6210cd74 100755 --- a/.ci/test.sh +++ b/.ci/test.sh @@ -109,6 +109,7 @@ if [[ $TASK == "lint" ]]; then 'include-what-you-use>=0.23' \ 'matplotlib-base>=3.9.1' \ 'mypy>=1.11.1' \ + 'ninja>=1.12.1' \ 'pre-commit>=3.8.0' \ 'pyarrow-core>=17.0' \ 'scikit-learn>=1.5.2' \ @@ -123,7 +124,7 @@ if [[ $TASK == "lint" ]]; then bash ./.ci/lint-cpp.sh || exit 1 # echo "Linting JavaScript code" # bash ./.ci/lint-js.sh || exit 1 - # exit 0 + exit 0 fi if [[ $TASK == "check-docs" ]] || [[ $TASK == "check-links" ]]; then