Commit 2024-06-09 11:47 033a0de1

View on Github →

chore: Run lake exe shake --update (#13657) Seems like shake wants to move things around due to the Std/Batteries rename, so I'm running lake exe shake --update now to avoid polluting later PRs.

Estimated changes