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.gt19...@szeder.dev/ https://public-inbox.org/git/20181021112053.gc30...@szeder.dev/