diff options
| author | Martin Fischer <martin@push-f.com> | 2022-01-24 08:02:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-24 08:02:00 +0100 |
| commit | 1f15d50aace578a63433a2b60c18ceb73dfa6230 (patch) | |
| tree | 08c1d2c49fbc9354322932e8d5d4bee8140b4bba /docs | |
| parent | 61853aa0fbcd2573f50e9c092f61cde1ad71492a (diff) | |
| parent | 309147d86f08f69ce1467aa4d25d3d6a56b2bc46 (diff) | |
Merge pull request #783 from not-my-profile/pyrightconfig.json
[enh] add pyrightconfig.json and integrate pyright into CI
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions