diff options
Diffstat (limited to '.github/workflows/lint-info-xml.yml')
| -rw-r--r-- | .github/workflows/lint-info-xml.yml | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/.github/workflows/lint-info-xml.yml b/.github/workflows/lint-info-xml.yml index cea2a2b..dbf5be6 100644 --- a/.github/workflows/lint-info-xml.yml +++ b/.github/workflows/lint-info-xml.yml @@ -5,12 +5,14 @@ name: Lint -on: - pull_request: - push: - branches: - - master - - stable* +on: pull_request + +permissions: + contents: read + +concurrency: + group: lint-info-xml-${{ github.head_ref || github.run_id }} + cancel-in-progress: true jobs: xml-linters: |