Yusuke Miyazaki

Thanks for sharing your idea! On the priority I'm thinking of, please have a look at this comment: https://github.com/ymyzk/mypy-playground/issues/201#issuecomment-1256968701 For running Python's code itself, there are other playgrounds available online....

Thanks for sharing an interesting idea. At this point, I would like to focus on the problem of easy online type checking for Python as I feel we still have...

As mypy provided [dmypy](https://mypy.readthedocs.io/en/stable/mypy_daemon.html), this idea may be technically possible. Another issue is the hosting cost of mypy Playground, the current server used for mypy-play.net is not good enough to...

Thanks for filing the ticket. I had a similar idea before. One idea I had is that running mypy against a Python script like the following at build time to...

I like the idea. It seems mypy doesn't set favicon yet. - http://mypy-lang.org/ - https://mypy.readthedocs.io/en/stable/index.html Although they have a nice logo for their documentation: https://mypy.readthedocs.io/en/stable/_static/mypy_light.svg I'm not sure using the...

> tox-gh-actions moved to https://github.com/tox-dev/tox-gh Clarification for users, tox-gh-actions supports tox v4: https://github.com/ymyzk/tox-gh-actions/tree/tox4. @gaborbernat made a new implementation at https://github.com/tox-dev/tox-gh.

Thanks for the feedback! > Undesired extra output is present that is not included in collapsed groups, mainly the 4 lines around recreate/installdeps/develop-inst/installed. These take more like 12-15 lines of...

Thanks for opening the PR but the current behavior is actually by design. If we simply lax the env selection algorithm, it can break builds of the existing users so...

@terencehonles, thanks for updating the PR. I understand the problem your project is facing but I'm still not sure whether adding another algorithm to find environments and/or making it as...

> Following up on the separate comment, this doesn't run the second step if the first fails, so you need to track the exit status manually if you want to...