bot icon indicating copy to clipboard operation
bot copied to clipboard

Published 20 hours ago • verified publisher icon jsdelivr

Bot failes very often

Open jimaek opened this issue 8 years ago • 7 comments

Lately a lot of PRs are not checked at all by the bot. I think it happens when multiple PRs arrive at the same time but it could be something else completely.

Either @megawac or @MartinKolarik please check because its very important. We heavily rely on this bot to merge

jimaek avatar Feb 09 '16 22:02 jimaek