Lint php

Merge pull request #3635 from cwerstuik/fix/SelectInput #2768

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
php-lint (8.0)	16s
php-lint (8.1)	10s
php-lint (8.2)	12s
php-lint (8.3)	1m 11s
php-lint-summary	1s
	1m 50s