search

hauntsaninja / mypy_primer

Run mypy and pyright over millions of lines of code
MIT License
55 stars 29 forks source link

Add Keylime to the type-checked projects #113

Open stefanberger opened 5 months ago

stefanberger commented 5 months ago

Would it be possible to add Keylime to the list of type-checked projects?

Url: https://github.com/keylime/keylime.git Requirements.txt: ./requirements.txt and ./test-requirements.txt and ./ test/test-requirements.txt

It should pass cleanly for mypy (1 error today that will hopefully be fixed soon)

For pyright we are using the following config:

[tool.pyright]
include = ["keylime", "test"]
ignore = [
    "keylime/backport_dataclasses.py",
    "keylime/mba/elchecking/example.py",
    "keylime/migrations/versions/",
    "keylime/da/examples/sqldb.py",
    "keylime/da/examples/redis.py",
    "keylime/da/examples/file.py",
    "test/data/template-invalid-adjust/2.0/adjust.py",
]