Lint php

Merge pull request #238 from pierrecorsini/patch-1 #74

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
php-lint (8.0)	1m 33s
php-lint (8.1)	24s
php-lint (8.2)	1m 27s
php-lint-summary	5s
	3m 29s