Remove legacy run script and outdated documentation #5411
+2
−653
Merged
GitHub Advanced Security / CodeQL
succeeded
Oct 9, 2025 in 31m 5s
No new alerts in code changed by this pull request
Loading