On Mon, Feb 28, 2022 at 05:00:05PM +0100, Peter Eisentraut wrote: > On 25.02.22 14:06, Magnus Hagander wrote: > > + OUT jit_generation_time float8, > > + OUT jit_inlining_time float8, > > + OUT jit_optimization_time float8, > > + OUT jit_emission_time float8 > > Perhaps those should be of type interval?
The rest of the "time" fields are declared as float8, so I think it's better to keep things consistent. And changing the type of existing fields, even in a major version, seems like a bit too much trouble.