The README advice for lein users currently recommends doing a lein install.
This might have two negative side effects:
- depending on how the folks have setup CI caching, the installed dep might get cached
- there is a chance that the wrong version might get selected for the check
So why not recommend a lein jar for lein users instead?
And then we can use the same check usage advice as we do for deps.edn based projects.