phantom errors

Stream: lean4

[Arien Malec]

I'm getting phantom errors for a different branch consistently when switching between branches. The files that the errors refers to are only on a single branch, but show up across all my branches right now.

I've tried lake clean to no avail -- I assume there's some cached something hanging around...

[Jireh Loreaux]

Have you rebuilt your oleans after switching branches with lake build?

[Arien Malec]

yes...did lake clean then lake build....

I nuked the whole repo & re-cloned to address...