Add OpenWorldHint to tools #1345
+35
−21
Draft
GitHub Advanced Security / CodeQL
succeeded
Oct 31, 2025 in 4s
No new alerts in code changed by this pull request
Loading