CI targets should handle de-duplication better in response message

[JasonGross]

Currently there's no indication that a target was doubled in the request, even though it only triggers once. https://github.com/coq/coq/pull/14748#issuecomment-1003120077