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.