You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/contributing/contributing.md
-11
Original file line number
Diff line number
Diff line change
@@ -198,17 +198,6 @@ See the [tutorial](./plugin-tutorial.md) on writing a plugin in HLS.
198
198
199
199
## Measuring, benchmarking and tracing
200
200
201
-
### Metrics
202
-
203
-
When ghcide is built with the `ekg` flag, HLS opens a metrics server on port 8999 exposing GC and ghcide metrics. The ghcide metrics currently exposed are:
204
-
205
-
-`ghcide.values_count` - count of build results in the store
206
-
-`ghcide.database_count` - count of build keys in the store (these two would be the same in the absence of GC)
207
-
-`ghcide.build_count` - build count. A key is GC'ed if it is dirty and older than 100 builds
208
-
-`ghcide.dirty_keys_count` - non transitive count of dirty build keys
209
-
-`ghcide.indexing_pending_count` - count of items in the indexing queue
210
-
-`ghcide.exports_map_count` - count of identifiers in the exports map.
211
-
212
201
### Benchmarks
213
202
214
203
If you are touching performance sensitive code, take the time to run a differential
<*> option auto (long "monitoring-port"<> metavar "PORT"<> value 8999<> showDefault <> help "Port to use for EKG monitoring (if the binary is built with EKG)")
47
45
where
48
46
checkCommand =Check<$> many (argument str (metavar "FILES/DIRS..."))
49
47
lspCommand =LSP<$ flag' True (long "lsp"<> help "Start talking to an LSP client")
0 commit comments