diff options
author | Profpatsch <mail@profpatsch.de> | 2024-05-13T10·29+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-05-13T16·09+0000 |
commit | 16ec24280d3851dd5b361eed413ca4621b0021f1 (patch) | |
tree | 2cfa4b7f130b4ac8db861b2afd672f90c619bd86 /users/Profpatsch/cas-serve/cas-serve.cabal | |
parent | aa85a187236585488764206239b3c92711e690b3 (diff) |
feat(users/Profpatsch/whatcd-resolver): use PgFormatPool r/8135
It does chip of the init overhead of like 50–100ms, even though the formatting still takes quite some time (up to 200ms for more complex expressions). Maybe we need some simplistic formatter in the future that just splits on parens? It’s not an easy problem … Change-Id: I2ce951e6b3c2dc56294b1bdab913480727b50f0b Reviewed-on: https://cl.tvl.fyi/c/depot/+/11654 Autosubmit: Profpatsch <mail@profpatsch.de> Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
Diffstat (limited to 'users/Profpatsch/cas-serve/cas-serve.cabal')
0 files changed, 0 insertions, 0 deletions