Commit db709305 authored by Tom Almeida's avatar Tom Almeida
Browse files

Merge branch 'use_criterion' into 'master'

benches: Use criterion

See merge request !6
parents e365d543 994214b3
Pipeline #8754 failed with stage
in 9 seconds