Skip to content
Snippets Groups Projects
Unverified Commit 8d227858 authored by Matthias Diener's avatar Matthias Diener Committed by GitHub
Browse files

convergence: small mypy fixes (#157)

* convergence: small fixes

* fix types in add_data_point
parent 0f93fd0d
No related branches found
No related tags found
No related merge requests found
Pipeline #360457 passed