Skip to content

ci: pin pyright#4420

Merged
mr-cal merged 1 commit intohotfix/7.5from pin-pyrightOct 23, 2023

Commits

Commits on Oct 23, 2023