Skip to content

do not refresh display name on known local user #3294

do not refresh display name on known local user

do not refresh display name on known local user #3294

Triggered via pull request March 27, 2025 09:44
Status Success
Total duration 53s
Artifacts

lint-php.yml

on: pull_request
Matrix: php-lint
php-lint-summary
6s
php-lint-summary
Fit to window
Zoom out
Zoom in