diff options
| author | Eli Schwartz <eschwartz@archlinux.org> | 2022-10-22 23:39:50 -0400 |
|---|---|---|
| committer | Eli Schwartz <eschwartz@archlinux.org> | 2022-10-24 00:37:51 -0400 |
| commit | 4e374d5cefd25dfa0de8debf0c53e8c6f74380d9 (patch) | |
| tree | cc010b433a75edc860b9e1b81f8113d87839a591 /docs/refman/main.py | |
| parent | 4c2b64188d574af79f4e949078a352e39710ed68 (diff) | |
| download | meson-4e374d5cefd25dfa0de8debf0c53e8c6f74380d9.zip meson-4e374d5cefd25dfa0de8debf0c53e8c6f74380d9.tar.gz meson-4e374d5cefd25dfa0de8debf0c53e8c6f74380d9.tar.bz2 | |
run_mypy: add extra logging and permit specifying files to check
If those files are not yet known to be typed, skip them. This makes it
possible to trivially check a shortlist of files that were just changed
and see if they regress our mypy coverage. Ideal for use in a git
pre-commit hook.
Diffstat (limited to 'docs/refman/main.py')
0 files changed, 0 insertions, 0 deletions