run: also record the duration of the run
This will be useful to steer the scheduling according to the usual run-time of benchmark combination.
parent
84816eeb
No related branches found
No related tags found
Please register or sign in to comment