On Wednesday, September 6, 2023 at 11:02:15 AM UTC-7 Dima Pasechnik wrote:
Should we run mypy on all the *.py files, at least, in our CI? We already have "sage --tox -e pyright", which is considered a better choice than mypy. We are also running it in the GitHub CI as part of the Build & Test workflow. See https://doc.sagemath.org/html/en/developer/tools.html#pyright -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/67e042ab-c355-4625-94a2-7d59ec34d6d0n%40googlegroups.com.
