Open jml opened 6 years ago
It's very useful, and I run it locally. Putting it in CI helps to communicate requirements to new and casual contributors.
It's very useful, and I run it locally. Putting it in CI helps to communicate requirements to new and casual contributors.