Configure permissions of `GITHUB_TOKEN` in workflows#129

Merged

per1234 merged 1 commit intoarduino:masterfrom

per1234:token-permissions

Mar 15, 2025

Commits on Mar 15, 2025

Configure permissions of `GITHUB_TOKEN` in workflows
per1234
committed