workspace: Fix broken main build after #43518 (#43570)

*cough* merge queue *cough*

Release Notes:

- N/A
6b92c1a47bPiotr Osiewicz committed on 11/26/2025, 5:21:22 PM· committed by GitHubparent1a23115
1 file changedLine totals unavailable