cidiff

Base-vs-head CI differ: which PR failures are introduced, pre-existing, external, or fixed.