[anneal] Audit cached Lean artifacts against clean builds#3486

mdittmer wants to merge 1 commit into

Gcz4iteion3frenivdjpngxluv7c3bshfgoogle/zerocopy:Gcz4iteion3frenivdjpngxluv7c3bshffrom

Gri3qjmi3mkxqhujr7xw3insogx5mpcm4google/zerocopy:Gri3qjmi3mkxqhujr7xw3insogx5mpcm4Copy head branch name to clipboard