I see that there is a ci running the tests.

However, for contributing, how do you run the tests locally?

If there is no script yet, and there is interest, I can open a PR.