> On 14 Aug 2023, at 16:36, Dmitry Dolgov <9erthali...@gmail.com> wrote:
> And here is it. The json version of EXPLAIN now looks like this: > > "JIT": { > [...] > "Timing": { > "Generation": { > "Deform": 0.000, > "Total": 0.205 > }, > "Inlining": 0.065, > "Optimization": 2.465, > "Emission": 2.337, > "Total": 5.072 > } > }, I've gone over this version of the patch and I think it's ready to go in. I'm marking this Ready for Committer and will go ahead with it shortly barring any objections. -- Daniel Gustafsson