Commit 2026-09-29 09:00 02e520b6

View on Github →

chore(Cache): convert to the module system (#44289)

Estimated changes

Modified Cache/Cli.lean

Modified Cache/Env.lean

Modified Cache/Hashing.lean

deleted def Cache.Hashing.HashMemo.filterByRootModules

deleted structure Cache.Hashing.HashMemo

deleted def Cache.Hashing.getHashMemo

Modified Cache/IO.lean

Modified Cache/Infra.lean

Modified Cache/Lean.lean

Modified Cache/Main.lean

Modified Cache/Marker.lean

Modified Cache/Query.lean

Modified Cache/Requests.lean

Modified Cache/Upload.lean

Modified Cache/Upload/Azure.lean

Modified Cache/Upload/Curl.lean

Modified Cache/Upload/Defs.lean

Modified Cache/Upload/Dest.lean

Modified Cache/Upload/Rclone.lean

Modified Cache/Upload/S3.lean

Modified Cache/Warning.lean