Commit 2025-10-24 01:54 4c627ad6
View on Github →chore: LEAN_SRC_PATH for reap (#30839) Followup to #30818. We also need to update the LEAN_SRC_PATH pre-emptively.
chore: LEAN_SRC_PATH for reap (#30839) Followup to #30818. We also need to update the LEAN_SRC_PATH pre-emptively.