Give users a username property that is unique and can be used publicly #9

	name: PHP Tests

	on:
	push:
	branches: ["main"]
	pull_request:
	branches: ["main"]

	permissions:
	contents: read

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3

	- name: Setup latest stable version of PHP
	uses: shivammathur/setup-php@v2
	with:
	php-version: "latest"

	- name: Validate composer.json and composer.lock
	run: composer validate --strict

	- name: Cache Composer packages
	id: composer-cache
	uses: actions/cache@v3
	with:
	path: vendor
	key: ${{ runner.os }}-php-${{ hashFiles('**/composer.lock') }}
	restore-keys: \|
	${{ runner.os }}-php-

	- name: Install dependencies
	run: composer install --prefer-dist --no-progress

	- name: Run PHPUnit test suite
	run: ./vendor/bin/phpunit --bootstrap vendor/autoload.php tests

	- name: Run PHPStan
	run: ./vendor/bin/phpstan analyse src tests --level=5

Provide feedback