Skip to content
🔤 Lint

Improve user/group filter to allow multiple users/groups #8193

Sign in to view logs

Improve user/group filter to allow multiple users/groups

Improve user/group filter to allow multiple users/groups #8193

Triggered via pull request August 23, 2024 13:14
@mdouchinmdouchin
synchronize #4559
nboisteault:filter_by_multiple_users_or_groups
Status Success
Total duration 26s
Artifacts –

lint.yml

on: pull_request
PHP-CS-Fixer
15s
PHP-CS-Fixer
Fit to window
Zoom out
Zoom in