Lint php

Move users_picker profile custom picker to contacts #3758

Sign in to view logs

Triggered via pull request December 4, 2024 13:52

julien-nc

synchronize #4231

enh/noid/profile-picker-move

Status Success

Total duration 1m 47s

Artifacts –

lint-php.yml

on: pull_request

Matrix: php-lint

php-lint-summary