Profiling correctness

fix verify alpine CI jobs #8301

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prof-correctness (8.3, zts)	4m 43s
prof-correctness (8.2, zts)	4m 3s
prof-correctness (8.4, zts)	4m 6s
prof-correctness (8.3, nts)	5m 39s
prof-correctness (8.5, zts)	4m 20s
prof-correctness (8.1, zts)	6m 23s
prof-correctness (8.1, nts)	3m 48s
prof-correctness (8.2, nts)	4m 5s
prof-correctness (8.4, nts)	5m 44s
prof-correctness (8, nts)	5m 29s
prof-correctness (8, zts)	4m 22s
prof-correctness (8.5, nts)	5m 33s
	58m 15s