Commit b2870c09 authored Apr 30, 2021 by Andreas Klöckner

Merge branch 'cpu' into 'main'

Use CPU time as the timer for benchmarks

See merge request !430