Skip to content
Snippets Groups Projects
Verified Commit 27a46ae5 authored by Björn Ludwig's avatar Björn Ludwig
Browse files

refactor(solve_one_instance): remove unneeded type: ignore

parent 2dff2471
No related branches found
No related tags found
No related merge requests found
Pipeline #16285 failed