diff options
author | Louis <6653109+artonge@users.noreply.github.com> | 2023-01-17 11:22:53 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-17 11:22:53 +0100 |
commit | a5bcecb0c7e8d4fb2a9f4bf16973614bff515edd (patch) | |
tree | 6cd25b5e876d558dce6f7bbf07425639ee930923 /.github/workflows/lint-info-xml.yml | |
parent | f72667819eafd7662099a6adeb4bec0358f22c95 (diff) | |
parent | c18c4a2a26054fdcbe8e5eee3cb8d5ebc51c68b5 (diff) |
Merge pull request #1582 from nextcloud/update-master-php-testing-versions
chore(CI): Update master php testing versions and workflow templates
Diffstat (limited to '.github/workflows/lint-info-xml.yml')
-rw-r--r-- | .github/workflows/lint-info-xml.yml | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/.github/workflows/lint-info-xml.yml b/.github/workflows/lint-info-xml.yml index cea2a2bc..8f024cfc 100644 --- a/.github/workflows/lint-info-xml.yml +++ b/.github/workflows/lint-info-xml.yml @@ -9,9 +9,17 @@ on: pull_request: push: branches: + - main - master - stable* +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 @@ -19,13 +27,13 @@ jobs: name: info.xml lint steps: - name: Checkout - uses: actions/checkout@master + uses: actions/checkout@ac593985615ec2ede58e132d2e21d2b1cbd6127c # v3 - name: Download schema run: wget https://raw.githubusercontent.com/nextcloud/appstore/master/nextcloudappstore/api/v1/release/info.xsd - name: Lint info.xml - uses: ChristophWurst/xmllint-action@v1 + uses: ChristophWurst/xmllint-action@d18a551aab4728e4af449617638600634d7a48cb # v1 with: xml-file: ./appinfo/info.xml xml-schema-file: ./info.xsd |