Lint php

Move scheduling and deletion into `...` menu #901

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
matrix	19s
php-lint (8.0)	1m 42s
php-lint (8.1)	37s
php-lint (8.2)	1m 22s
php-lint (8.3)	1m 29s
php-lint-summary	4s
	5m 33s