On Fri, Nov 02, 2018 at 10:16:48PM -0400, Derrick Stolee wrote: > Here is the coverage report for today. Some builds were timing out, so I > removed the tests with number 9000 or more from the build [1]. Hopefully > this is a temporary measure. I think it's the Azure CI patch series, see: https://public-inbox.org/git/20181017232952.GT19800@xxxxxxxxxx/ https://public-inbox.org/git/20181021112053.GC30222@xxxxxxxxxx/
