Bare Run on various PHP versions

Remove NoShortNameRule, as devs are educated and not a thing anymore … #451

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bare_run (7.2)	53s
bare_run (7.4)	1m 0s
bare_run (8.0)	47s
bare_run (8.2)	44s
	3m 24s