Ignore types in high_level_api
Failed
Joscha Schmiedt
created pipeline for commit
89920b24
, finished
1 related merge request: !135 Add and fix more type hints
15 minutes 7 seconds, queued for 3 seconds