Oh, I thought you'd fixed the failure and force-pushed a new diff. Your prior comment was just noting the failure? Not associated with a fix of it? (This is why I like to preserve the commit history!)