build(deps): bump third_party/tools/verible from 2772025
to f4d7237
#6119
Merged
github-actions[bot] merged 1 commit intomasterfrom dependabot/submodules/third_party/tools/verible-f4d7237Sep 21, 2024
+1-1
2772025
to f4d7237
#6119