Fix parameters in coverage workflows (#2065) #237

Job	Run time
call-build-schema-page / build-config-schema-html	1m 6s
call-build-html-doc / build-html	1m 49s
publish	17s
	3m 12s

Provide feedback