Back to pull request #3528

WIP Removing Rows or Columns that Include Edge Ranges #8573

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
phpcs	27s
php-cs-fixer	1m 23s
phpdoc-types	11s
PHP 8.1	2m 1s
PHP 8.2	1m 48s
coverage	15m 18s
phpstan	1m 30s
PHP 8.3	1m 45s
release	0s
PHP nightly	1m 56s
versions	31s
	26m 50s