bot: separate errors agains the linting issues#82

Merged

La0 merged 4 commits intomozilla:masterfrom

abpostelnicu:publish_errors

Aug 20, 2019

Commits on Aug 19, 2019

bot: report build errors by the bot in a more desired way.
abpostelnicu
committed

Commits on Aug 20, 2019

Report build error setup
Bastien Abadie
committed
Add an intro message on build error from Coverity
Bastien Abadie
committed
Fix unit tests
Bastien Abadie
committed