Pylint

Merge branch 'refs/heads/devel' into devel_convert_map_widget #5

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.8)	21m 12s
build (3.9)	21m 31s
build (3.10)	21m 28s
	1h 4m 11s