Re: [PATCH] ci: Refresh generated files