Linting on push

Avoid blurry display on Windows High-DPI resolutions #292

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint (3.7)	15s
lint (3.8)	13s
lint (3.9)	11s
lint (3.10)	10s
lint (3.11)	10s
	59s