lroal opened this issue 7 months ago · 0 comments
I think it would be more convenient to have the tests in a github action.