diff options
Diffstat (limited to '.github/workflows/editorconfig.yml')
| -rw-r--r-- | .github/workflows/editorconfig.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml index 01a6d736c13..445f0fcbaf8 100644 --- a/.github/workflows/editorconfig.yml +++ b/.github/workflows/editorconfig.yml @@ -11,7 +11,7 @@ on: jobs: tests: runs-on: ubuntu-latest - if: github.repository_owner == 'NixOS' + if: "github.repository_owner == 'NixOS' && !contains(github.event.pull_request.title, '[skip editorconfig]')" steps: - name: Get list of changed files from PR env: |