Skip to content

fix(INavigationManager): Fix psalm alias not set in the right place #21421

fix(INavigationManager): Fix psalm alias not set in the right place

fix(INavigationManager): Fix psalm alias not set in the right place #21421

Triggered via pull request May 30, 2024 15:01
Status Success
Total duration 47m 28s
Artifacts

lint-php.yml

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