Repository navigation

`mypy_test.py`: Remove `--dry-run` option - #8611

Merged

srittau merged 2 commits into

Aug 25, 2022

Merged

`mypy_test.py`: Remove `--dry-run` option#8611
srittau merged 2 commits into
masterfrom
dryrun

Commits on Aug 25, 2022
- `mypy_test.py`: Remove `--dry-run` option
  AlexWaygood
  committed
  ee0519e
- [pre-commit.ci] auto fixes from pre-commit.com hooks
  pre-commit-ci[bot]
  committed
  a06d15c