Progress for decling MultiWorker operations
commit2251ce479b24c843efd9b403b41ab93cbc41cb63
authorTatiana Racheva <tatianaracheva@fb.com>
Tue, 28 Jul 2020 19:53:34 +0000 (28 12:53 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 28 Jul 2020 20:11:40 +0000 (28 13:11 -0700)
tree0307aa9a2d8a679db799ea402c7929732fad98ae
parenteaafa4361aefe94451f50e9f73a659e8cfe0f1a2
Progress for decling MultiWorker operations

Summary:
For transparency and user-friendliness, adding server progress reporting (will be visible on the command line, used to be visible in Nuclide).

Also adding duration logging of sub-operations.

Reviewed By: arxanas

Differential Revision: D22481363

fbshipit-source-id: 991a23efafcb57b422f065ebd7b964da3fdcd12a
hphp/hack/src/decl/decl_redecl_service.ml
hphp/hack/src/decl/dune.inc