DanielRuf opened this issue 7 years ago · 0 comments
Running the testsuite for each push and PR would be great.