We are hiring ! See our job offers.
Raw File
Tip revision: 6bf7110995330b891633f0c06a0ac5a2f4d6427e authored by Jesper Nielsen on 28 April 2022, 12:01:21 UTC
Merge pull request #1871 from GPflow/develop
Tip revision: 6bf7110
; 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