Re: [PATCH] ci: Regenerate files