mypy_primer
mypy_primer copied to clipboard
Add Keylime to the type-checked projects
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",
]