Skip to content

Use Criterion for benchmarks - #84

Merged
james7132 merged 4 commits into
petgraph:masterfrom
james7132:criterion
Jan 10, 2023
Merged

james7132 merged 4 commits into
petgraph:masterfrom
james7132:criterion

Commits

Commits on Jan 9, 2023

Commits on Jan 10, 2023