Commit f216f987 authored by David Tellenbach's avatar David Tellenbach Committed by Tobias Lasser

[Timer] Replace `std::system_clock` by `std::steady_clock`

Timing should always be done using `std::steady_clock` because it's the
only clocked that guarantees steady advancement of `std::time_point`.
parent 4fbfe5f5
Pipeline #200616 passed with stages
in 22 minutes and 49 seconds