![]() Revamp the timer so we always have a designated begin and end. Fix a bug where the phase timer was stopped before the phase started, resulting in incorrect timing reports in timers.json. |
||
---|---|---|
.. | ||
spack |
![]() Revamp the timer so we always have a designated begin and end. Fix a bug where the phase timer was stopped before the phase started, resulting in incorrect timing reports in timers.json. |
||
---|---|---|
.. | ||
spack |