Stack overflow in cache

Stream: general

[Yaël Dillies]

I accidentally wrote import Foo in Foo.lean in #11725 (for Foo = Mathlib.Algebra.BigOperators.List.Order) and the getting cache step instantly overflowed: https://github.com/leanprover-community/mathlib4/actions/runs/8470947044/job/23209945412?pr=11725

[Yaël Dillies]

Can we have better failure behavior?

[Bolton Bailey]

I just made this same mistake, I would also like better behavior here.