Fix check_files.py script after source tar was renamed#58216
Merged
potiuk merged 1 commit intoNov 11, 2025
Mergeable / Mergeable
succeeded
Nov 11, 2025 in 1s
Mergeable Run has been Completed!
All the validators have returned 'pass'!
Here are some stats of the run:
4 validations were ran
Loading