Page History
...
- a reusable box written by the user where the box had an illegal python name with a dash in it, causing the mypy parsing to fail (I think)
- defunct mypy dmypy processes getting leftover that needed to be killed by hand (Seshu will understand why the mypyd was not running correctly)
- update the conda mypy version from 0.910 to 0.961 helped once
...
Overview
Content Tools