message: Fix path of requirements.txt
diff: @@ -62,7 +62,7 @@ jobs:
  steps:
  - run: rm -rf /home/circleci/project/.git # CircleCI git caching is likely broken
  - checkout
  - - run: pip install -r tools/requirements.txt
  + - run: pip install -r tools/code_format/requirements.txt
  - run: ci/do_circle_ci.sh check_format
  - run: ci/do_circle_ci.sh check_repositories
  - run: ci/do_circle_ci.sh check_spelling
  