Public Git Hosting - hiphop-php.git/commit

commit	785edc4b6796fbecf6c0a7e244a7e29b492e0973
author	Nikhil Thomas <nzthomas@fb.com>
	Mon, 10 Jan 2022 16:55:00 +0000 (10 08:55 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Mon, 10 Jan 2022 16:56:44 +0000 (10 08:56 -0800)
tree	e70e9e3ea14e030b5b18528a06ea2d04e3f460d0	tree \| snapshot (tar.gz zip)
parent	9b4e5add355a5fbcea231fb514c0bd1fc8041826	commit \| diff

log saved state distance for type_check_end

Differential Revision: D32930355

fbshipit-source-id: 90e6fcab4922e2407ce2448cf03917af62c6ba7b

hphp/hack/src/client/clientDownloadSavedState.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverInitCommon.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverLazyInit.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverTypeCheck.ml		diff \| blob \| blame \| history
hphp/hack/src/stubs/logging/hackEventLogger.ml		diff \| blob \| blame \| history
hphp/hack/src/stubs/saved_state_loader.ml		diff \| blob \| blame \| history