So glad its worked out. Talking to someone who was working on the build service, it seems like we needed to redeploy to all of the boxes. Sorry for your trouble
Hi! I’m really sorry for the effect I had on your day: I caused the problem, and I told Charlie that it was fixed before it actually was. All the builders with with node 10 on them were replaced around when your build succeeded. I’ll be making changes to our builders that should make this sort of problem much harder to cause.