feat: use github cache feature of `leanprover/lean-action`

oliver-butterley / lean-update

The action attempts to update Lean and Mathlib. If an update is available then the updated version is tested. This allows for automatic committing of the updated project, opening PRs or opening issues.

MIT License

6 stars 2 forks source link

feat: use github cache feature of `leanprover/lean-action` #24

Closed Seasawher closed 4 months ago

Seasawher commented 4 months ago

resolve #23

Seasawher commented 4 months ago

Please wait my test before merging this PR

Seasawher commented 4 months ago

Test passed. This seems to work well.

Please review this PR.

oliver-butterley commented 4 months ago

That's great! Nicely done.