I see in the code that you use some static type checking tools, probably it's mypy. But what about adding it to a GitHub Actions pipeline?