Restarted (Buildbot is the first new build). It’s doing a new checkout, so we’ll see if that fixes the problem.