Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: lake: v4.16.0-rc1 trace issues (#6627)
This PR aims to fix the trace issues reported by Mathlib that are breaking `lake exe cache` in downstream projects.