Skip to content

PyInstaller: Complete types in splash.pyi#13568

Merged
Avasam merged 3 commits intopython:mainfrom
Sabfo:pyinstaller-improve-splash
Mar 7, 2025
Merged

PyInstaller: Complete types in splash.pyi#13568
Avasam merged 3 commits intopython:mainfrom
Sabfo:pyinstaller-improve-splash

Conversation

@Sabfo
Copy link
Copy Markdown
Contributor

@Sabfo Sabfo commented Mar 1, 2025

No description provided.

@github-actions

This comment has been minimized.

@Avasam Avasam self-requested a review March 1, 2025 23:05
Comment thread stubs/pyinstaller/PyInstaller/building/splash.pyi Outdated
Comment thread stubs/pyinstaller/PyInstaller/building/splash.pyi Outdated
Comment thread stubs/pyinstaller/PyInstaller/building/splash.pyi
@github-actions

This comment has been minimized.

@Sabfo
Copy link
Copy Markdown
Contributor Author

Sabfo commented Mar 2, 2025

Thanks for your review. I've updated the types for the requested attributes.
I think we can or even should simplify the type for script_name to str if you think that will be better for consistency and actually anyway Splash doesn't use and import into a user code.

@Sabfo Sabfo requested a review from Avasam March 2, 2025 13:00
Comment thread stubs/pyinstaller/PyInstaller/building/splash.pyi Outdated
Co-authored-by: Avasam <samuel.06@hotmail.com>
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Mar 7, 2025

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

Copy link
Copy Markdown
Collaborator

@Avasam Avasam left a comment

Choose a reason for hiding this comment

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

Thanks!

@Avasam Avasam merged commit a91c147 into python:main Mar 7, 2025
@Sabfo Sabfo deleted the pyinstaller-improve-splash branch March 8, 2025 21:03
mmingyu pushed a commit to mmingyu/typeshed that referenced this pull request May 16, 2025
---------

Co-authored-by: Avasam <samuel.06@hotmail.com>
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