Lint php

Move users_picker profile custom picker to contacts #3782

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
matrix	6s
php-lint (8.1)	21s
php-lint (8.2)	11s
php-lint (8.3)	11s
php-lint (8.4)	1m 12s
php-lint-summary	10s
	2m 11s