You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
gh-36639: fix broken pyright in CI
This is trying to fix our broken CI, where pyright complains about the
type of `PariError`.
### 📝 Checklist
- [x] The title is concise, informative, and self-explanatory.
- [x] The description explains in detail what this PR is about.
URL: #36639
Reported by: Frédéric Chapoton
Reviewer(s): Tobias Diez
0 commit comments