Deal with July 2017 false positive CI notifications
Originally created by @bertagaz on #12648 (Redmine)
Gather statistics about CI notifications since #11355 (closed) brought them back online, then see how it goes and decide what to do.
Parent Task: #9614 (closed)
Related issues
- Related to #11355 (closed)
Edited by bertagaz