Skip to content

add optional time profiling

Wout De Nolf requested to merge task_time_profiling into main

Needs ewokscore!258 (merged) to be released and then adapt setup.cfg

Edited by Wout De Nolf

Merge request reports