Log saved state age for type_check_end
commit979856f9487f6ac9aebf53020a6453313df4e4cc
authorNikhil Thomas <nzthomas@fb.com>
Mon, 10 Jan 2022 19:51:42 +0000 (10 11:51 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 10 Jan 2022 19:53:18 +0000 (10 11:53 -0800)
treef6b957613f94ee2f69cde7e18af469dff0c43a6b
parent41ebba39d97d5531e3db96f1b76e8a1ceaf76295
Log saved state age for type_check_end

Differential Revision: D33076871

fbshipit-source-id: 1e9fa134d06a8fe4362dfadb2d7661c4f2486297
hphp/hack/src/client/clientDownloadSavedState.ml
hphp/hack/src/server/serverEnv.ml
hphp/hack/src/server/serverEnv.mli
hphp/hack/src/server/serverEnvBuild.ml
hphp/hack/src/server/serverInitTypes.ml
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/server/serverTypeCheck.ml
hphp/hack/src/stubs/saved_state_loader.ml
hphp/hack/src/utils/hg/hg.ml
hphp/hack/src/utils/hg/hg_sig.ml