Lint php

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

Sign in to view logs

Triggered via pull request September 3, 2025 13:27

CarlSchwan

opened #54839

carl/perf-seen-users

Status Success

Total duration 10m 26s

Artifacts –

lint-php.yml

on: pull_request

Matrix: php-lint

php-lint-summary