CI

Update mediawiki/mediawiki-phan-config requirement from 0.18.0 to 0.20.0 #113

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
PHPUnit: MW master, PHP 8.5	44s
PHPUnit: MW master, PHP 8.4	37s
PHPUnit: MW REL1_45, PHP 8.3	46s
PHPUnit: MW REL1_43, PHP 8.1	44s
PHPUnit: MW REL1_44, PHP 8.2	38s
	3m 29s