| commit | 3bea50f2ffc6bfe380f7818aa1e74f8ccdfe7ac9 | |
| author | Henri Verroken <hverr@fb.com> | |
| Tue, 19 Nov 2019 13:38:26 +0000 (19 05:38 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 19 Nov 2019 13:40:48 +0000 (19 05:40 -0800) | ||
| tree | bbb610be452f4fd3f10d017fbb6b1d94b4d2cde9 | treesnapshot (tar.gz zip) |
| parent | 5497255d2e46819adf64c1cbafeaf9fa09ee298f | commitdiff |
Log merge progress for global inference
Summary:
GI merge is slow: I want to know what it's doing.
Note: this will not affect performance: GI merges <100 files per second on average anyways
Reviewed By: CatherineGasnier
Differential Revision: D18590783
fbshipit-source-id: edaa81abaaa3344df86f7ff18bced71045254f0e
Summary:
GI merge is slow: I want to know what it's doing.
Note: this will not affect performance: GI merges <100 files per second on average anyways
Reviewed By: CatherineGasnier
Differential Revision: D18590783
fbshipit-source-id: edaa81abaaa3344df86f7ff18bced71045254f0e
| hphp/hack/src/server/serverGlobalInference.ml | diffblobblamehistory |