edgedb-ui
edgedb-ui copied to clipboard
[REPL] Display the query timing
In the REPL, it would be cool to know the time it took for the query to run. Especially when trying to optimize with indices.
