Can't reproduce timeout locally

Stream: general

[Justus Springer]

So on one of my branches, I got a timeout in the latest commit in ring_theory/ideal/basic.lean. This is weird because, on another branch of mine, the latest build worked fine, even though its changes are a strict superset of the changes of the first branch. I downloaded the olean cache of the failed build, but I couldn't reproduce the timeout. It works fine. Does anyone have some tips for how to diagnose this?

[Justus Springer]

Is it possible that CI just has "a bad day" sometimes and timed out because there are too many other processes going on? (I have no idea how this works under the hood)

[Eric Wieser]

Often it depends on which commit it started with a cache of

[Eric Wieser]

That particular timeout has appeared in lots of my PRs too

[Ruben Van de Velde]

It's noticeably slow locally as well

[Justus Springer]

True, but it was equally slow on master when I tested it :thinking: