Send manifold path and changed_files to remote workers
commit98280b668cafc9da9382145c54cb4ce68f42a9ca
authorNikhil Thomas <nzthomas@fb.com>
Mon, 18 Apr 2022 13:02:04 +0000 (18 06:02 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 18 Apr 2022 13:02:04 +0000 (18 06:02 -0700)
treeab387fa5254fb36706e3d9c70f735a256fda6d59
parentc241e06a5bab4f4b002ed2ed39ac41261f0872bd
Send manifold path and changed_files to remote workers

Reviewed By: bobrenjc93

Differential Revision: D35619143

fbshipit-source-id: 84297550b7b5d2710a4fa6789c3086321ed513b2
hphp/hack/src/remote/jobRunner_sig.ml
hphp/hack/src/server/serverApi.ml
hphp/hack/src/server/serverInit.ml
hphp/hack/src/server/serverLocalConfig.ml
hphp/hack/src/server/serverRemoteInit.ml
hphp/hack/src/server/serverRemoteInit.mli
hphp/hack/src/stubs/remoteWorker.ml
hphp/hack/src/stubs/state_loader_futures.ml
hphp/hack/src/typing/service/typing_service_types.ml