feat: add lake check-test check before running lake test

[austinletson]

Check for a test runner before running lake test with lake check-test.

Add a step summary when lake check-test fails.

[austinletson]

I tested this on a test repo here. The summaries seem useful for surfacing important details.

[oliver-butterley]

The summaries seem useful for surfacing important details.

🎉 Yes, a concise but complete and well formatted build summary would be very useful (at least in all the applications I can imagine). It can include basic info for each step that is run so the user of the action can easily confirm what happened. On failure the entry in the list for the given step can include info concerning the failure.

Related but separate design decision: run later steps to generate feedback even if earlier steps fail? Then fail at the end. E.g., reservoir eligibility can still be checked even if linting fails. Markdown formatted job summary can include ticks at each of the steps which have already passed and notes for the steps that have failed. Could mean that reviewing and improving PRs can be done in fewer cycles.