025f2f3162
## Summary The script reads `GITHUB_TOKEN` instead. And since #4853 merged, there is no need to use `uv run --with`.