Add tested user documentation site and GitHub Pages deployment #189

	# SPDX-FileCopyrightText: 2026 LibreSign
	# SPDX-License-Identifier: AGPL-3.0-or-later

	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
	name: php-lint

	steps:
	- name: Checkout
	uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
	with:
	persist-credentials: false
	- name: Detect minimum PHP from composer.json
	id: php_min
	run: \|
	php_version=$(grep -Po '"php"\s:\s"\K[^"]+' composer.json \| grep -Eo '[0-9]+\.[0-9]+' \| head -n1)
	[[ -n "$php_version" ]] \|\| { echo "Could not determine minimum PHP version"; exit 1; }
	echo "version=$php_version" >> "$GITHUB_OUTPUT"
	- uses: shivammathur/setup-php@v2
	with:
	php-version: ${{ steps.php_min.outputs.version }}

	- name: Lint
	run: composer run php:lint

Provide feedback