Skip to content

Ensure reported Time is walltime by removing spurious scaling by threads#1836

Merged
dmah42 merged 7 commits intomainfrom thread_timesAug 13, 2024