diff options
-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 |