Merge bot PR

Update PhpStorm stubs #2743

Sign in to view logs

Triggered via pull request October 8, 2024 07:07

phpstan-bot

opened #3551

create-pull-request/patch-ves5qiu

Status Success

Total duration 6m 22s

Artifacts –

merge-bot-pr.yml

on: pull_request