Skip to content

Update Timer API with runAndGetTime

Viktor Kuncak requested to merge timers into master

Created by: mantognini

The usage of this function is quite limited ATM but since I needed it in a third place I thought it was time to implement it. See the related PR in stainless.

Merge request reports