Code

clippy: Fix new lints.#786

Code

Merged

lemmih merged 1 commit intobheisler:masterbheisler/criterion.rs:masterfrom waywardmonkeys:fix-new-clippy-lintswaywardmonkeys/criterion.rs:fix-new-clippy-lintsCopy head branch name to clipboardJul 10, 2024

+10-10

Commits

Commits on Jul 10, 2024

• clippy: Fix new lints.

  waywardmonkeys

  committed
  735383c

  Copy full SHA for 735383c