lint

make subprocess child shows different process name #878

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint (3.8)	11s
lint (3.9)	17s
lint (3.10)	11s
lint (3.11)	16s
lint (3.12)	17s
	1m 12s