chore: add explicit GitHub workflow permissions#5851
Merged
copybara-service[bot] merged 1 commit intomainfrom Oct 6, 2025
Merged
chore: add explicit GitHub workflow permissions#5851copybara-service[bot] merged 1 commit intomainfrom
copybara-service[bot] merged 1 commit intomainfrom
Commits
Commits on Oct 6, 2025
- authored andcommitted
