[pull] main from google:main#80

Merged

pull[bot] merged 1 commit intojynychen:mainfrom

Oct 29, 2025

Commits on Oct 29, 2025

Reduce permissions for Github actions by reducing to minimal permissions (#2961)
michael-kerscher
authored