Merge pull request #3868 from oleibman/issue3866 #7587
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
10s
php-cs-fixer
1m 54s
phpcs
33s
versions
30s
phpstan
1m 26s
coverage
16m 28s
release
0s
Matrix: test