Merge branch 'deploy' into devel

This commit is contained in:
Zhenwen Dai 2023-04-21 17:45:58 +01:00 committed by GitHub
commit 1d574f68b5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 1 deletions

View file

@ -721,6 +721,7 @@ def multioutput_gp_with_derivative_observations(plot=True):
likelihood_list=[gauss, gauss_der],
)
# Optimize the model
m.optimize(messages=0, ipython_notebook=False)