Update CI for Haddock