GaloisInc/cclyzerpp

ci: Lint with Mypy

langston-barrett opened this issue · 0 comments

langston-barrett commented

Mypy should be run on the Python-based test suite in CI.