Skip to content

Python: Improve typing of workers.py#4948

Merged
hoodmane merged 1 commit intomainfrom
hoodmane/workers-types
Sep 1, 2025
Merged

Python: Improve typing of workers.py#4948
hoodmane merged 1 commit intomainfrom
hoodmane/workers-types

Conversation

@hoodmane
Copy link
Copy Markdown
Contributor

@hoodmane hoodmane commented Sep 1, 2025

I'm experimenting with adding type checking and these are some changes that are needed to type check the workers in python-workers-examples.

@hoodmane hoodmane requested review from a team as code owners September 1, 2025 09:34
@hoodmane hoodmane force-pushed the hoodmane/workers-types branch from 257d2be to a1c1421 Compare September 1, 2025 09:44
Copy link
Copy Markdown
Contributor

@dom96 dom96 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice, thanks!

I'm experimenting with adding type checking and these are some changes
that are needed to type check the workers in python-workers-examples.
@hoodmane hoodmane force-pushed the hoodmane/workers-types branch 2 times, most recently from a779f21 to b1987cf Compare September 1, 2025 13:47
@hoodmane hoodmane merged commit 50b7a0b into main Sep 1, 2025
21 checks passed
@hoodmane hoodmane deleted the hoodmane/workers-types branch September 1, 2025 15:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants