Profiling correctness

Avoid repeated processing of internal functions #4860

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prof-correctness (8, nts)	4m 29s
prof-correctness (8, zts)	3m 11s
prof-correctness (8.1, nts)	3m 15s
prof-correctness (8.1, zts)	3m 24s
prof-correctness (8.2, nts)	3m 8s
prof-correctness (8.2, zts)	4m 7s
prof-correctness (8.3, nts)	3m 2s
prof-correctness (8.3, zts)	3m 29s
prof-correctness (8.4, nts)	3m 18s
prof-correctness (8.4, zts)	4m 40s
	36m 3s