Merge branch 'timing_helpers' into 'master'

Merge: Timing Helpers

See merge request !5
4 jobs from master in 3 minutes 25 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #2822
build_cmake

00:37

 
  Test
passed #2823
run_tests

00:38

 
  Sanitizer
passed #2825
run_address_sanitizer

01:13

passed #2824
run_thread_sanitizer

00:55