Merge pull request #4447 from oleibman/stan1002 #9599
github-merge-queue[bot]main.yml
on: push
phpdoc-types
10s
php-cs-fixer
55s
phpcs
29s
versions
38s
phpstan
1m 42s
coverage
15m 53s
release
Matrix: test