Lint php

perf(users): Create lazy users in IUserManager::getSeenUsers #40998

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes	9s
php-lint (8.1)	7m 2s
php-lint (8.2)	6m 38s
php-lint (8.3)	4m 14s
php-lint (8.4)	7m 13s
php-lint-summary	7s
	25m 23s