main

`extensions` might not exist in case of PHP error #10310 #354

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
release	0s
coverage	15s
phpstan	17s
php-cs-fixer	20s
PHP 8.2	15s
	1m 7s