fix: Avoid layout jump with rich workspace #3414

	# 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:
	push:
	branches:
	- main
	- master
	- stable*

	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" ]

	name: php-lint

	steps:
	- name: Checkout
	uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3

	- name: Set up php ${{ matrix.php-versions }}
	uses: shivammathur/setup-php@4bd44f22a98a19e0950cbad5f31095157cc9621b # 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