Switch benchmarks to criterion for more accurate profiling#20
Merged
mthh merged 1 commit intomthh:masterfrom Jun 13, 2024
Merged
Switch benchmarks to criterion for more accurate profiling#20mthh merged 1 commit intomthh:masterfrom
mthh merged 1 commit intomthh:masterfrom
