Configure permissions of `GITHUB_TOKEN` in workflows#4

Merged

facchinm merged 1 commit intoarduino:mainfrom

per1234:configure-workflow-permissions

Jun 23, 2023

Commits on Jun 23, 2023

Configure permissions of `GITHUB_TOKEN` in workflows
per1234
committed