Inconsistency in running haddock tests in CI across make and hadrian configurations.
The make configuration in CI generates the docs
target, and hence runs haddock tests. The hadrian configuration does not (#19072 (closed)). This should be fixed. Ideally we would run haddock tests in all configurations.