Merge pull request #22798 from gnossen/pylint

Pin astroid
5 years ago · 65451fe93c
parent 7846840841 2ea571a92a
commit 65451fe93c
1 changed files with 1 additions and 1 deletions
--- a/tools/distrib/pylint_code.sh
+++ b/tools/distrib/pylint_code.sh
@ -40,7 +40,7 @@ python3 -m virtualenv $VIRTUALENV -p $(which python3)
 PYTHON=$VIRTUALENV/bin/python

 $PYTHON -m pip install --upgrade pip==19.3.1
-$PYTHON -m pip install --upgrade pylint==2.2.2
+$PYTHON -m pip install --upgrade astroid==2.3.3 pylint==2.2.2

 EXIT=0
 for dir in "${DIRS[@]}"; do