Skip to content

Merge pull request #8211 from kenjis/change-phpstan-type-naming #7000

Merge pull request #8211 from kenjis/change-phpstan-type-naming

Merge pull request #8211 from kenjis/change-phpstan-type-naming #7000

Triggered via push November 14, 2023 22:14
Status Success
Total duration 4m 39s
Artifacts
Automatic Code Review  /  PHP 8.1
18s
Automatic Code Review / PHP 8.1
Check normalized composer.json
20s
Check normalized composer.json
Fit to window
Zoom out
Zoom in