Lint php

Use IExternalProvider in search provider #93

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
php-lint (8.2)	10s
php-lint (8.4)	9s
php-lint (8.3)	14s
php-lint-summary	6s
	39s