https://github.com/GPflow/GPflow
Revision a146d5895c98a366cc6b208982eec3898c05bd5e authored by Jesper Nielsen on 29 March 2022, 16:05:30 UTC, committed by GitHub on 29 March 2022, 16:05:30 UTC
1 parent 3e9f4e9
Raw File
Tip revision: a146d5895c98a366cc6b208982eec3898c05bd5e authored by Jesper Nielsen on 29 March 2022, 16:05:30 UTC
Add support for user notes on shapes. (#1836)
Tip revision: a146d58
mypy.ini
[mypy]
; 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