Given the thousands of developers there, I would assume it was automated. FB is known for having built great tooling for this kind of thing, like measuring how

Given the thousands of developers there, I would assume it was automated. FB is known for having built great tooling for this kind of thing, like measuring how flaky each test is.