mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-10-05 17:01:06 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add a mypy run to the pipeline

Browse source
This commit is contained in:
Benedikt Brückmann 2021-03-12 08:49:40 +01:00 • committed by Hans-Christoph Steiner
parent 7e60acb259
commit 8f0712e89b
4 changed files with 27 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

15
mypy.ini Normal file
View file

@ -0,0 +1,15 @@
[mypy]
files = fdroidserver
# this is de-facto the linter setting for this file
warn_unused_configs = True
# TODO: we should either upgrade the used packages to a version which includes type hints OR install/write stub packages for these libraries.
# Further details here: https://mypy.readthedocs.io/en/stable/running_mypy.html#missing-type-hints-for-third-party-library
ignore_missing_imports = True
# ignore the [no-redef] errors, as they collide with the bandit "# nosec" exclusion (common.py)
# unfortunately both tools expect their ignore flag as a comment in the same line
# [misc] is ignored for the "incompatible import"
# [arg-type] is ignored because when there are missing envs, everything will crash, not just the types
disable_error_code = no-redef, misc, arg-type