Closed ranocha closed 5 years ago
This should trigger some CI tests.
Edit: Please, do not merge this PR, even if the tests pass. I will add some badges to the README.md in this PR. We can merge it afterwards.
This should trigger some CI tests.
Edit: Please, do not merge this PR, even if the tests pass. I will add some badges to the README.md in this PR. We can merge it afterwards.