Maintainer edit from 2023

Most likely, you want to run mypy via mypy -p package instead of mypy package/.

To investigate your situation further, see https://mypy.readthedocs.io/en/stable/running_mypy.html#mapping-file-paths-to-modules

I don't recommend reading this thread, there's a lot of out of date information in here.

After yesterday's release 0.780, our CI starting failing with the message Source file found twice under different module names: 'grader.testlib.framework' and 'testlib.framework' but we only have one file named framework.py in grader/testlib/framework.py. This error does not show up in version 0.770.