doc: Update CI info