chore: switch to lean-action

[austinletson]

Convert existing CI to use lean-action.

I did a test run of the workflow on my fork here

Additional CI features added through lean-action:

• .lake caching across runs
• check reservoir eligibility

[austinletson]

@semorrison could you take a look? Let me know if anything needs to be changed in order to merge.