lint

Add option to generate a unique name for output file #901

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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