Add a welcome window to set username for guests #15861

	# 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: Static analysis

	on:
	pull_request:
	push:
	branches:
	- master
	- main
	- stable*

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

	jobs:
	static-analysis:
	runs-on: ubuntu-latest

	name: Nextcloud
	steps:
	- name: Checkout
	uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab # v3.5.2

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

	- name: Install dependencies
	run: composer i

	- name: Run coding standards check
	run: composer run psalm

Provide feedback