diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2024-01-05 11:02:37 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-05 16:02:37 +0000 |
| commit | 7c5c502773de135994bdc23e8bc5f705c3f5a0c5 (patch) | |
| tree | d0ee3da70fae55ffb555c8ad8031e7aa35d2ca0d /cli/tools/coverage/mod.rs | |
| parent | 824f4fa55f5add7d0a71d56569493d5872915926 (diff) | |
chore: update format script (#21811)
The PR referenced has been released so we can update this now.
Diffstat (limited to 'cli/tools/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions