Searched refs:workers_by_build (Results 1 – 1 of 1) sorted by relevance
147 std::map<uint32_t /*build_id*/, std::vector<Worker>> workers_by_build; in NotifyEndOfFile() local155 auto& workers = workers_by_build[job.build_id]; in NotifyEndOfFile()