Skip to content

Configure permissions of GITHUB_TOKEN in workflows#4

Merged
facchinm merged 1 commit intoarduino:mainfrom
per1234:configure-workflow-permissions
Jun 23, 2023

Commits

Commits on Jun 23, 2023