Approval PHP

chore: rename `package-manager` to `extension-manager` #2685

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run / PHP 7.3 / MySQL 5.7	53s
run / PHP 7.3 / MySQL 8.0	48s
run / PHP 7.3 / MariaDB	40s
run / PHP 7.4 / MySQL 5.7	37s
run / PHP 7.4 / MariaDB	34s
run / PHP 8.0 / MySQL 5.7	49s
run / PHPStan PHP ${{ matrix.php }}	0s
run / PHP 8.0 / MariaDB	39s
run / PHP 8.1 / MySQL 5.7	47s
run / PHP 8.1 / MariaDB	28s
run / PHP 8.2 / MySQL 5.7	48s
run / PHP 8.2 / MySQL 8.0	44s
run / PHP 8.2 / MariaDB	35s
run / PHP 8.3 / MySQL 5.7	50s
run / PHP 8.3 / MySQL 8.0	34s
run / PHP 8.3 / MariaDB	34s
run / PHP 7.3 / MySQL 5.7 (prefix)	1m 7s
run / PHP 7.3 / MySQL 8.0 (prefix)	39s
run / PHP 7.3 / MariaDB (prefix)	46s
run / PHP 8.2 /	35s
run / PHP 8.3 /	1m 7s
	14m 34s