Re: Testing a patch with Lago through CI