Github tests

Merge branch 'master' into tag-search-optimization #81

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.10.16)	2m 23s
build (3.11.7)	2m 17s
build (3.12.3)	2m 34s
	7m 14s