diff --git a/.circleci/config.yml b/.circleci/config.yml index 4a3698c62..a211edab0 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -267,8 +267,8 @@ jobs: command: apt -q update && apt install -y python3-pip - run: name: Install pylint - command: python3 -m pip install pylint z3-solver - # also z3-solver to make sure pylint knows about this module + command: python3 -m pip install pylint z3-solver pygments-lexer-solidity + # also z3-solver to make sure pylint knows about this module, pygments-lexer-solidity for docs - run: name: Linting Python Scripts command: ./scripts/pylint_all.py diff --git a/scripts/pylintrc b/scripts/pylintrc index ca2141ef5..bf1f3c0c4 100644 --- a/scripts/pylintrc +++ b/scripts/pylintrc @@ -71,4 +71,4 @@ good-names= expected-line-ending-format=LF # Maximum number of characters on a single line. -max-line-length=110 +max-line-length=130