https://github.com/GPflow/GPflow
Revision fe75b20f8ad3d92ca68c5ec2e0b35b827733e44a authored by Simon Chiu on 09 November 2022, 17:00:03 UTC, committed by Simon Chiu on 09 November 2022, 17:00:03 UTC
1 parent 718bdff
Raw File
Tip revision: fe75b20f8ad3d92ca68c5ec2e0b35b827733e44a authored by Simon Chiu on 09 November 2022, 17:00:03 UTC
Updated to Python 3.11
Tip revision: fe75b20
mypy.ini
[mypy]
show_error_codes = True
; First we turn on *all the checks*, and then we turn off those that are too annoying.
strict = True
ignore_missing_imports = True
disallow_subclassing_any = False
disallow_untyped_calls = False
disallow_untyped_decorators = False
; This is needed because version 1.20.0 of NumPy introduces typing, so some ignores are necessary /
; unnecessary depending on the version of numpy:
warn_unused_ignores = False
back to top