Commit 99a4b1a7865fdfb965868901701463b1a0ee7174
2023-03-06T14:26:11
ci: set minimal permissions on GitHub Actions Change made by setting top-level read-only permisisons, and any other necessary permissions set as job-level. Closes #1421 Signed-off-by: Diogo Teles Sant'Anna <diogoteles@google.com>