leanprover / lean-action

GitHub action for standard CI in Lean projects
Apache License 2.0
14 stars 3 forks source link

Save cache even if a build fails #65

Open austinletson opened 3 months ago

austinletson commented 3 months ago

We should be able to save the cache even if a build fails similar to this example.

For reference, here is the initial discussion where we explored the now unsupported save-always flag.