[RFC] execute_distribute_partition: allow recording profiling events#597

matthiasdiener wants to merge 1 commit intomaininducer/pytato:mainfrom

evt-exec-dist-partinducer/pytato:evt-exec-dist-partCopy head branch name to clipboard