Skip to content

Pull requests: DetachHead/basedpyright

New pull request New
11 Open 266 Closed
11 Open 266 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

fix strictGenericNarrowing causing false positive reportUnnecessaryIsInstance errors when narrowing Callable
#909 opened Nov 26, 2024 by DetachHead Loading…
1
1
Stuff project internal stuff relating to the repo itself (eg. ci)
#906 opened Nov 26, 2024 by DetachHead • Draft
expose diagnostic ruleset defaults for the playground
#783 opened Oct 16, 2024 by DetachHead • Draft
1
switch from webpack to rspack
#736 opened Oct 3, 2024 by DetachHead • Draft
1
@KotlinIsland
1
Baseline lsp unit tests
#706 opened Sep 27, 2024 by DetachHead • Draft
1
2
don't add redundant types to unions to prevent unnecessary unknown/any errors
#447 opened Jun 24, 2024 by DetachHead • Draft
1
11
jupyter attempt 2
#442 opened Jun 23, 2024 by DetachHead • Draft
1
1
support installing the vscode extension on the web version of vscode
#302 opened Apr 17, 2024 by DetachHead • Draft
1
docs for implicit realative import
#237 opened Apr 1, 2024 by KotlinIsland • Draft
1
@KotlinIsland
report non-top level duplicate imports
#182 opened Mar 21, 2024 by DetachHead • Draft
1
1
fix context managers that return bool | None incorrectly being treated as if they can never suppress exceptions
#111 opened Feb 24, 2024 by DetachHead • Draft
1
7
ProTip! Exclude everything labeled bug with -label:bug.