main

Merge branch 'master' into intersect #1489

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
phpdoc-types	11s
PHP 8.2	2m 31s
PHP 8.3	2m 41s
phpcs	24s
PHP 8.4	2m 31s
PHP nightly	2m 43s
phpstan	1m 46s
PHP 8.1	2m 33s
coverage	16m 25s
php-cs-fixer	59s
versions	36s
release	0s
	33m 20s