ci: make prospector output parseable by GitLab
GitLab issue #54347 is to be resolved and mainlined in Oct 22, 2019.
In the meantime, we manually replace <error>
tags by <failure>
tags
using sed.
GitLab issue #54347 is to be resolved and mainlined in Oct 22, 2019.
In the meantime, we manually replace <error>
tags by <failure>
tags
using sed.