-
-
Notifications
You must be signed in to change notification settings - Fork 1.9k
update GDB stubs to 16.3 #13923
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.
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
base: main
Are you sure you want to change the base?
update GDB stubs to 16.3 #13923
Conversation
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
Thanks! |
You can look at NEWS and search for |
This comment has been minimized.
This comment has been minimized.
Diff from mypy_primer, showing the effect of this PR on open source code: pwndbg (https://github.com/pwndbg/pwndbg)
+ pwndbg/dbg/gdb/symbol.py:162: error: Unused "type: ignore" comment [unused-ignore]
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks! Looks reasonable and I trust you and stubtest here.
@oltolm Our CI still complains about a few symbols that are not available at runtime: https://github.com/python/typeshed/actions/runs/15323229467/job/43111418230?pr=13923 Are you sure these items exist in gdb 16.3? In that case, these items need to be added to |
No description provided.