chore: allow writing to pull requests

This commit is contained in:
Sekwah 2024-06-17 00:58:09 +01:00
parent ed3eb6b868
commit f864785bea

View File

@ -13,6 +13,8 @@ concurrency:
jobs: jobs:
pre-commit-check: pre-commit-check:
permissions:
pull-requests: write
if: github.event.action != 'labeled' || github.event.label.name == 'pre-commit ci run' if: github.event.action != 'labeled' || github.event.label.name == 'pre-commit ci run'
name: Run pre-commit checks name: Run pre-commit checks
runs-on: ubuntu-20.04 runs-on: ubuntu-20.04