#2353 lint: initialize mypy
Merged a year ago by praiskup. Opened 2 years ago by praiskup.
Unknown source mypy  into  main

file modified
+1
@@ -17,6 +17,7 @@

  .cache/

  .pytest_cache/

  .localwrap/

+ .mypy_cache/

  

  backend/docs/build

  

file added
+2
@@ -0,0 +1,2 @@

+ [mypy]

+ ignore_missing_imports = True

Ignore the .mypy_cache/ directories.

Also use global 'ignore_missing_imports = True', otherwise we'll see
a new errors like this:

  Error: MYPY_ERROR:
  coprs_frontend/coprs/auth.py:8: mypy[error]: Skipping analyzing "ldap": module is installed, but missing library stubs or py.typed marker

  Error: MYPY_ERROR:
  coprs_frontend/coprs/auth.py:9: mypy[error]: Skipping analyzing "openid_teams.teams": module is installed, but missing library stubs or py.typed marker

  Error: MYPY_NOTE:
  coprs_frontend/coprs/auth.py:9: mypy[note]: See https://mypy.readthedocs.io/en/stable/running_mypy.html#missing-imports

We can find a better way to handle similar problems in the future.

rebased onto fba588c3028c7a8d9cabe0bd8864288ada9a3786

2 years ago

rebased onto 5e12e09054e24528b91c88651ff9bae4e50a793a

2 years ago

rebased onto 5e12e09054e24528b91c88651ff9bae4e50a793a

2 years ago

Build succeeded.

@nikromen can you take a look? Since you are much more familiar with mypy than
I am, how these errors are typically handled? (I mean ignore_missing_imports)

rebased onto a8720e1

a year ago

Commit 88765de fixes this pull-request

Pull-Request has been merged by praiskup

a year ago

Build succeeded.

Metadata