Use cache for improved speed

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

Use cache for improved speed #7

Closed oliver-butterley closed 4 months ago

oliver-butterley commented 6 months ago

Either

activate caching within the action,
or use lean-action to take advantage of the fact that it already has caching built in.

Seasawher commented 4 months ago

I think this issue should be closed as completed.