[Rdo-list] RDO-Manager liberty CI is green!