Merge branch 'contrib/github_pr_9273' into 'master'

chore: Set permissions for GitHub actions

Closes IDFGH-7733

See merge request espressif/esp-idf!20098
This commit is contained in:
Ivan Grokhotkov 2022-09-12 17:46:14 +08:00
commit dbb64db552

View File

@ -4,6 +4,9 @@ on:
pull_request:
types: [opened, reopened, synchronize]
permissions:
contents: read
jobs:
pre_commit_check:
runs-on: ubuntu-latest