v1.15.2 (pyright 1.1.375)

What's Changed

• basedpyright playground now runs entirely in the browser by @DetachHead in #514 & DetachHead/basedpyright-playground#19
  • this makes it much more blazingly fast (🚀) than pyright playground
  • seems to be much more stable, it fixes the issue where the connection to the server randomly stops working
  • note that older versions of basedpyright are no longer available in the playground, as they don't have a browser build
• update upstream pyright version to 1.1.375 by @DetachHead in #547
• add dark mode to the docs by @nguyenanhhao221 in #546

New Contributors

• @nguyenanhhao221 made their first contribution in #546

Full Changelog: v1.15.1...v1.15.2