Fix highlighting of duplicate pull requests in the build queue.