Lint php

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
matrix	12s
php-lint (8.0)	1m 25s
php-lint (8.1)	32s
php-lint (8.2)	1m 19s
php-lint (8.3)	1m 16s
php-lint-summary	12s
	4m 56s