Include timing stats in workbench query results

Description

It would be useful to include some basic execution timing stats (e.g. elapsed server-side wall-clock time) in the query results page of the workbench.

Environment

None

Status

Assignee

Dale W. Visser

Reporter

Alessandro Bollini

Labels

Components

Priority

Minor
Configure