mirror of
https://github.com/pybind/pybind11.git
synced 2026-03-14 20:27:47 +00:00
ci: drop win2016 (#3854)
* ci: drop dead windows CI jobs * chore: touch up pre-commit Signed-off-by: Henry Schreiner <henryschreineriii@gmail.com> * Update configure.yml * Update configure.yml
This commit is contained in:
@@ -24,8 +24,10 @@ profile = "black"
|
||||
[tool.mypy]
|
||||
files = ["pybind11"]
|
||||
python_version = "3.6"
|
||||
warn_unused_configs = true
|
||||
strict = true
|
||||
show_error_codes = true
|
||||
enable_error_code = ["ignore-without-code", "redundant-expr", "truthy-bool"]
|
||||
warn_unreachable = true
|
||||
|
||||
[[tool.mypy.overrides]]
|
||||
module = ["ghapi.*", "setuptools.*"]
|
||||
|
||||
Reference in New Issue
Block a user