| commit | fe667920466260414d35c97c03cda0dd2aed98b3 | |
| author | Edwin Smith <smith@meta.com> | |
| Sat, 11 Feb 2023 00:45:05 +0000 (10 16:45 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Sat, 11 Feb 2023 00:45:05 +0000 (10 16:45 -0800) | ||
| tree | 01dab7194172e2832ae4c1196d693f1f9f7e6eee | treesnapshot (tar.gz zip) |
| parent | 1682c5c128d33616a88059954200329487e94dd5 | commitdiff |
parse typecheck_sample_rate & log when done writing artifacts
Summary:
We'd like to show wall-time for writing artifacts.
Testing with vassilmladenov's sound dynamic sandcastle job revealed another .hhconfig option we need to parse.
Reviewed By: vassilmladenov
Differential Revision: D43190622
fbshipit-source-id: c6a8c8b3f8672ae472c4a48158fdbe85c9953a04
Summary:
We'd like to show wall-time for writing artifacts.
Testing with vassilmladenov's sound dynamic sandcastle job revealed another .hhconfig option we need to parse.
Reviewed By: vassilmladenov
Differential Revision: D43190622
fbshipit-source-id: c6a8c8b3f8672ae472c4a48158fdbe85c9953a04
| hphp/hack/src/utils/hh_config/hh_config.rs | diffblobblamehistory |