Is your MR failing CI test T9630 or haddock.base?