CI: add least-privilege permissions to GitHub Actions workflows#4164
Merged
Commits
Commits on Jul 8, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed