diff options
author | Joas Schilling <213943+nickvergessen@users.noreply.github.com> | 2022-10-20 16:45:33 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-20 16:45:33 +0300 |
commit | 65b20d0298ca2f34ed2a847791fdbaf719b209a1 (patch) | |
tree | 01b322b628afd5bf60641a1feb7c921d0236335f | |
parent | 6a74861de84f5d360c2292709eca00d607c9bbf1 (diff) |
Update lint-info-xml.yml
Signed-off-by: Joas Schilling <213943+nickvergessen@users.noreply.github.com>
-rw-r--r-- | .github/workflows/lint-info-xml.yml | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/.github/workflows/lint-info-xml.yml b/.github/workflows/lint-info-xml.yml index fefdc7e..485ccf9 100644 --- a/.github/workflows/lint-info-xml.yml +++ b/.github/workflows/lint-info-xml.yml @@ -5,17 +5,15 @@ name: Lint -on: - pull_request: - push: - branches: - - main - - 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: runs-on: ubuntu-latest |