[stable28] fix: Safeguard sync requests to hopefully not spam then server #2278

	# This workflow is provided via the organization template repository
	#
	# https://github.com/nextcloud/.github
	# https://docs.github.com/en/actions/learn-github-actions/sharing-workflows-with-your-organization

	name: Lint php

	on: pull_request

	permissions:
	contents: read

	concurrency:
	group: lint-php-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	jobs:
	php-lint:
	runs-on: ubuntu-latest
	strategy:
	matrix:
	php-versions: [ '8.0', '8.1', '8.2', '8.3' ]

	name: php-lint

	steps:
	- name: Checkout
	uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1

	- name: Set up php ${{ matrix.php-versions }}
	uses: shivammathur/setup-php@e6f75134d35752277f093989e72e140eaa222f35 # v2
	with:
	php-version: ${{ matrix.php-versions }}
	coverage: none
	ini-file: development
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	- name: Lint
	run: composer run lint

	summary:
	permissions:
	contents: none
	runs-on: ubuntu-latest
	needs: php-lint

	if: always()

	name: php-lint-summary

	steps:
	- name: Summary status
	run: if ${{ needs.php-lint.result != 'success' && needs.php-lint.result != 'skipped' }}; then exit 1; fi

Provide feedback