A script to summarize gas differences from isoltest for PRs.

2023-10-03 13:03:40 +00:00 · 2021-06-08 11:38:58 +02:00
parent 7d8a4e63d8
commit a4fd7c56a4
2 changed files with 142 additions and 2 deletions
@@ -354,8 +354,8 @@ jobs:
          command: apt -q update && apt install -y python3-pip
      - run:
          name: Install pylint
-          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
+          command: python3 -m pip install pylint z3-solver pygments-lexer-solidity parsec tabulate
+          # also z3-solver, parsec and tabulate to make sure pylint knows about this module, pygments-lexer-solidity for docs
      - run:
          name: Linting Python Scripts
          command: ./scripts/pylint_all.py