Remove empty user search provider #13006

Sign in to view logs

Triggered via pull request November 21, 2023 09:30

Altahrim

opened #41631

remove-user-search-provider

Status Success

Total duration 5m 31s

Artifacts –

lint-php.yml

on: pull_request

Matrix: php-lint

php-lint-summary