[code] [types] Generalize TS perf datatype.

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

GNU Lesser General Public License v2.1

143 stars 31 forks source link

Closed ejgallego closed 4 months ago

ejgallego commented 4 months ago

This is useful for #686.

We also fix a misconfiguration of the perf view compilation.