mirror
/
Rapptz.discord.py
mirror of https://github.com/Rapptz/discord.py
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
Browse Source

Downgrade unnecessary type ignore into a warning instead of error

pull/7699/head
Rapptz 3 years ago
parent
380e9118d5
commit
d2b69ce19a
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      pyproject.toml

2
pyproject.toml
View File

@ -41,7 +41,7 @@ exclude = [
"dist", "dist",
"docs", "docs",
] ]
reportUnnecessaryTypeIgnoreComment = true reportUnnecessaryTypeIgnoreComment = "warning"
pythonVersion = "3.8" pythonVersion = "3.8"
typeCheckingMode = "basic" typeCheckingMode = "basic"

Write Preview
Loading…
Cancel
Save