Merge pull request #72 from nextcloud/enhancement/php-xml-lint

Add PHP and XML linters
nextcloud · Nov 2, 2022 · 1f9bf11 · 1f9bf11
2 parents e71357e + bdd00e0
commit 1f9bf11
Showing 1 changed file with 51 additions and 0 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -0,0 +1,51 @@
+name: Lint
+on: pull_request
+
+permissions:
+  contents: read
+
+jobs:
+  xml-linters:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+    - name: Download schema
+      run: wget https://apps.nextcloud.com/schema/apps/info.xsd
+    - name: Lint info.xml
+      uses: ChristophWurst/xmllint-action@v1
+      with:
+        xml-file: ./appinfo/info.xml
+        xml-schema-file: ./info.xsd
+
+  php-linters:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        php-versions: ['7.4', '8.0', '8.1', '8.2']
+    name: php${{ matrix.php-versions }} lint
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+    - name: Set up php${{ matrix.php-versions }}
+      uses: shivammathur/setup-php@v2
+      with:
+        php-version: ${{ matrix.php-versions }}
+        coverage: none
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+    - name: Lint
+      run: composer run lint
+
+  summary:
+    runs-on: ubuntu-latest
+    needs:
+      - xml-linters
+      - php-linters
+    if: always()
+    name: lint-summary
+    steps:
+      - name: XML linter status
+        run: if ${{ needs.xml-linters.result != 'success' && needs.xml-linters.result != 'skipped' }}; then exit 1; fi
+      - name: PHP linter status
+        run: if ${{ needs.php-linters.result != 'success' && needs.php-linters.result != 'skipped' }}; then exit 1; fi