use --docs=no-sphinx in both Hadrian CI jobs