Zulip Chat Archive

Stream: general

Topic: Can't reproduce timeout locally

Justus Springer (Aug 25 2021 at 15:07):

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 (Aug 25 2021 at 15:10):

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 (Aug 25 2021 at 15:37):

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

Eric Wieser (Aug 25 2021 at 15:37):

That particular timeout has appeared in lots of my PRs too

Ruben Van de Velde (Aug 25 2021 at 15:44):

It's noticeably slow locally as well

Justus Springer (Aug 25 2021 at 17:00):

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

Last updated: Aug 03 2023 at 10:10 UTC