Skip to content

Configure permissions of GITHUB_TOKEN in workflows#566

Merged
per1234 merged 1 commit intoarduino:mainfrom
per1234:permissions
Jun 26, 2023

Commits

Commits on Jun 26, 2023