Add pyright dependency and update CI workflow to install dev dependencies 31b50d4 Yorrick Jansen commited on Mar 23