Merge pull request #4439 from oleibman/stan1001 #9592
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
12s
php-cs-fixer
53s
phpcs
22s
versions
32s
phpstan
1m 33s
coverage
15m 50s
release
0s
Matrix: test