Amit Khandekar <[email protected]> writes: > On 11 September 2018 at 14:50, Amit Khandekar <[email protected]> wrote: >> On 10 September 2018 at 21:39, Andres Freund <[email protected]> wrote: >>> On 2018-09-10 15:42:55 +0530, Amit Khandekar wrote: >>>> I think we better show per-worker jit info also.
Just to throw a contrarian opinion into this: I find the current EXPLAIN
output for JIT to be insanely verbose already.
regards, tom lane
