diff options
author | zowoq <59103226+zowoq@users.noreply.github.com> | 2021-12-03 06:40:09 +1000 |
---|---|---|
committer | zowoq <59103226+zowoq@users.noreply.github.com> | 2021-12-03 12:54:08 +1000 |
commit | c3338bcdc4634d846354b3a24e6b0ad45d3c6a83 (patch) | |
tree | 3c25c53c529bb61bd2c760dae58d593a708685bf | |
parent | 6cbce58b9d4dec01cae59168c85d25e6e4b87456 (diff) |
.github/workflows/editorconfig.yml: allow PRs to skip check
Intended for treewide reformatting PRs so we don't hit the API ratelimit.
-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 01a6d736c137..445f0fcbaf8f 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: |