There are 4 build hosts: one of them is building master and the other three are AWOL. Where'd they go? This is severely slowing down the rate at which PRs can be merged. https://auto-tester.puremagic.com/hosts/