CI

Fix broken combined search jump menu. #3411

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Tests with PHP 8.1	7m 17s
Tests with PHP 8.2	4m 55s
Tests with PHP 8.3	4m 30s
	16m 42s