Profiling correctness

fix: Add `ddsource` attribute to json-formatted logs #3006

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prof-correctness (8.1, nts)	3m 21s
prof-correctness (8.1, zts)	3m 23s
prof-correctness (8.2, nts)	3m 15s
prof-correctness (8.2, zts)	3m 28s
prof-correctness (8.3, nts)	3m 24s
prof-correctness (8.3, zts)	3m 31s
	20m 22s