coverage

chore: set version number to v3.20.0 #4540

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
measure_coverage	4m 21s
measure_coverage	4m 30s
finish_measuring_coverage	0s
finish_measuring_coverage	4s
	8m 55s