Core PHP

chore: remove duplicated mentionsUsers relation #2909

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run / PHPStan PHP ${{ matrix.php }}	0s
run / PHP 7.3 / MySQL 5.7	4m 31s
run / PHP 7.3 / MySQL 8.0	4m 39s
run / PHP 7.3 / MariaDB	4m 30s
run / PHP 7.4 / MySQL 5.7	4m 8s
run / PHP 7.4 / MariaDB	4m 2s
run / PHP 8.0 / MySQL 5.7	4m 35s
run / PHP 8.0 / MariaDB	4m 24s
run / PHP 8.1 / MySQL 5.7	4m 38s
run / PHP 8.1 / MariaDB	4m 55s
run / PHP 8.2 / MySQL 5.7	4m 30s
run / PHP 8.2 / MySQL 8.0	4m 35s
run / PHP 8.2 / MariaDB	4m 31s
run / PHP 8.3 / MySQL 5.7	4m 28s
run / PHP 8.3 / MySQL 8.0	4m 42s
run / PHP 8.3 / MariaDB	4m 33s
run / PHP 7.3 / MySQL 5.7 (prefix)	4m 28s
run / PHP 7.3 / MySQL 8.0 (prefix)	4m 37s
run / PHP 7.3 / MariaDB (prefix)	4m 39s
run / PHP 8.2 /	4m 24s
run / PHP 8.3 /	4m 28s
	1h 30m 17s