Lint php

Add config to select source directories #4510

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
php-lint (8.0)	1m 44s
php-lint (8.1)	27s
php-lint (8.2)	11s
php-lint-summary	1s
	2m 23s