Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Revert "Use 'dmypy run' in lint.sh instead of 'mypy' (#9701)" #9720

Merged
merged 2 commits into from
Mar 31, 2021

Commits on Mar 31, 2021

  1. Revert "Use 'dmypy run' in lint.sh instead of 'mypy' (#9701)"

    This reverts commit f380bb7.
    clokep committed Mar 31, 2021
    Configuration menu
    Copy the full SHA
    155a3de View commit details
    Browse the repository at this point in the history
  2. Newsfragment

    clokep committed Mar 31, 2021
    Configuration menu
    Copy the full SHA
    53bafeb View commit details
    Browse the repository at this point in the history