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

Add stricter types for TaskGroup.start() #679

Closed

jonathanslenders wants to merge 3 commits into agronholm:master from jonathanslenders:type-taskgroup-start

Contributor

jonathanslenders commented Jan 26, 2024 •

edited

Loading

See: #678

There are still some typing issues here. I'm trying to figure out some edge cases.


          Add stricter types for TaskGroup.start()

7848c1e

jonathanslenders force-pushed the type-taskgroup-start branch 5 times, most recently from c58cc14 to 7ca2f49 Compare

January 26, 2024 17:06


          Fixed typing in unit tests.

e2fc1ac

jonathanslenders force-pushed the type-taskgroup-start branch from 180265a to e2fc1ac Compare

January 26, 2024 17:09


          [pre-commit.ci] auto fixes from pre-commit.com hooks

99ba020

for more information, see https://pre-commit.ci

Contributor Author

jonathanslenders commented Jan 26, 2024

Let's close this for now. We need this mypy issue to be resolved: python/mypy#16522

jonathanslenders closed this

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

Labels

None yet