Configure permissions of GITHUB_TOKEN in workflows#566
Merged
per1234 merged 1 commit intoarduino:mainfrom Jun 26, 2023
per1234:permissions
Merged
Configure permissions of `GITHUB_TOKEN` in workflows#566per1234 merged 1 commit intoarduino:mainfrom per1234:permissions
per1234 merged 1 commit intoarduino:mainfrom
per1234:permissions
