diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2023-03-21 18:19:42 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-21 18:19:42 -0400 |
| commit | 253b556e6f430012c3094d47838fe397fa588028 (patch) | |
| tree | 0679662bfbd9caa85e191c68b5fef76e79aa49e7 /cli/tools/coverage/mod.rs | |
| parent | 7e61e8f0e0abbf8cbd1a8c2ea21cee9ff11403c2 (diff) | |
perf(check): type check local files only when not using `--all` (#18329)
Closes #18171
Diffstat (limited to 'cli/tools/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions