try to make pull requests work with linting

This commit is contained in:
Jelle van Snik 2022-05-02 16:27:57 +02:00
parent 26e5df6e00
commit bd4652c4ac
1 changed files with 0 additions and 5 deletions

View File

@ -8,11 +8,6 @@ on:
pull_request_target: pull_request_target:
types: [opened, reopened, synchronize] types: [opened, reopened, synchronize]
# needs write to add annotations
permissions:
checks: write
contents: write
jobs: jobs:
linting: linting:
name: Run linters name: Run linters