Merge pull request #4445 from oleibman/changelog20250416 #9587
github-merge-queue[bot]
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
main.yml
on: push
phpdoc-types
8s
php-cs-fixer
59s
phpcs
23s
versions
37s
phpstan
1m 33s
coverage
15m 41s
release
0s
Matrix: test