Skip to content

run: also record the duration of the run

Pierre-Yves David requested to merge topic/default/duration into branch/default

This will be useful to steer the scheduling according to the usual run-time of benchmark combination.

Merge request reports