Cache build between branch switches

Stream: mathlib4

[James Gallicchio]

What's the state of the art for switching between branches without having to rebuild mathlib each time? Do I temporarily add build to the git tree and stash it between switches?

[Mauricio Collares]

lake exe cache pack before switching branches and lake exe cache unpack (or get) afterwards is an option

[James Gallicchio]

ahhh thank you!!

[Kevin Buzzard]

And you never have to build mathlib because of lake exe cache get

[James Gallicchio]

unfortunately i am doing some std bump shenanigans, so i need to rebuild most of mathlib, but I'm trying to do as few full compilations as possible :joy: