Commit 2023-07-13 04:56 6ed1d668

feat: use leantar in lake exe cache (#5710) This hooks up the new leantar tool from https://github.com/digama0/leangz to lake exe cache. It uses an olean compressor to achieve much smaller file sizes, and faster decompression. See the Zulip discussion. The new files have a new file extension, 123.ltar instead of 123.tar.gz. This implementation does not multiplex between them, so it will be a hard reset. In fact, the new cache doesn't even know how to clear the old cache files, so you might need to do that manually. Switching between branches will still work during the interim, since the cache will have both kinds of file and use the right ones.