New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Install mypy>=1.0.0 rather than git HEAD, see #121 #122

Merged

shish merged 1 commit into master from pr122

Feb 8, 2023

Owner

shish commented Feb 7, 2023 •

edited

Loading

Stack created with [Sapling]

-> Install mypy>=1.0.0 rather than git HEAD, see #121 #122

Install mypy>=1.0.0 rather than git HEAD, see #121


          Install mypy>=1.0.0 rather than git HEAD, see #121

25228b5

shish merged commit b12ea45 into master

shish deleted the pr122 branch

February 8, 2023 00:16

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet