Skip to content

CI-fixes PR #1: pyright is ready to replace pyre#147

Merged
bernhardkaindl merged 6 commits intomasterfrom
ci-finnish-pyre-enforce-pyright
Aug 15, 2025
Merged

CI-fixes PR #1: pyright is ready to replace pyre#147
bernhardkaindl merged 6 commits intomasterfrom
ci-finnish-pyre-enforce-pyright

Commits

Commits on Aug 15, 2025