We should be able to save the cache even if a build fails similar to [this](https://github.com/actions/cache/issues/1315#issuecomment-2163822166) example. For reference, [here](https://github.com/leanprover/lean4/issues/3950#issuecomment-2088374220) is the initial discussion where we explored the now unsupported `save-always` flag.
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-alwaysflag.