Disable uwsgi, pyaudio, jack-client stubtest on macOS (#11821)
Update typing_extensions imports in third-party stubs (#11245)
third-party stubs: Add several missing __del__
methods (#11054)
Fill in all missing upstream_repository
fields (#10571)
Co-authored-by: Alex Waygood Alex.Waygood@Gmail.com
Add default values to JACK-Client
(#9964)
Improve many __(a)exit__
annotations (#9696)
Stubtest settings: change ignore_missing_stub
default to false
(#9779)
If you're reading about this commit from an autogenerated changelog entry, this should have no user-visible impact on how the stubs are interpreted by a type checker; it's just an internal change to how typeshed's tests work.
Use typing_extensions.Self
instead of _typeshed.Self
(#9702)
Complete jack-client stub (#9530)
Co-authored-by: Alex Waygood Alex.Waygood@Gmail.com
Add support for Homebrew and Chocolatey (#9187)
Add missing symbols in JACK-Client
stubs (#9205)
ignore_missing_stub = false
and completed on Windows & MacOS
Add the ability to run third-party stubtest on Windows or MacOS when needed (#8923)
Co-authored-by: Alex Waygood Alex.Waygood@Gmail.com Co-authored-by: Jelle Zijlstra jelle.zijlstra@gmail.com
JACK-Client
: audit callback annotations (#8177)
The returned values from these functions are all ignored at runtime.
stubtest: use separate table in METADATA.toml (#8096)
jack: Fix MidiPort properties (#7730)
Fixes #7729
Co-authored-by: Alex Waygood Alex.Waygood@Gmail.com
Use TypeAlias
for type aliases where possible, part II (#7667)
Third-party stubs: import from collections.abc
where possible (#7637)
Mark many attributes as read-only properties (#7591)
Add missing context manager stub for JACK Client (#6982)
Co-authored-by: Akuli akuviljanen17@gmail.com
Enable stubtest for jack (#6727)
Use lowercase tuple where possible (#6170)
Update remaining versions for third-party stubs (#6094)
Also remove the python2 markers of packages that don't list Python 2 as supported in the latest version.
Don't special case version '0.1'
Co-authored-by: Akuli akuviljanen17@gmail.com