?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 74d963f) | patch
Log size of the depgraph delta as telemetry
commitc698b596a4e0c3bad66b53c64de0530fd81f59a8
authorHenri Verroken <hverr@fb.com>
Thu, 10 Jun 2021 17:54:56 +0000 (10 10:54 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 10 Jun 2021 17:56:36 +0000 (10 10:56 -0700)
tree9a72f2792b326d4a57c9fc0c767708e0768dc135tree | snapshot (tar.gz zip)
parent74d963fa41fb08630036538241c386afc3a2814bcommit | diff
Log size of the depgraph delta as telemetry

Reviewed By: CatherineGasnier

Differential Revision: D29032227

fbshipit-source-id: 850561c3e29a8f1429809ad60dc333cf71a2e095
hphp/hack/src/deps/typing_deps.ml diff | blob | blame | history
hphp/hack/src/deps/typing_deps.mli diff | blob | blame | history
hphp/hack/src/deps/typing_deps.rs diff | blob | blame | history
hphp/hack/src/server/serverTypeCheck.ml diff | blob | blame | history