Code

Lint fix#62

Code

Open

corinnt wants to merge 2 commits intomainbrownsys/Sesame:mainfrom lint-patchbrownsys/Sesame:lint-patchCopy head branch name to clipboard

+37-13

Commits

Commits on Oct 3, 2024

• AlohomoraType lint ignores non-local crates

  corinnt

  committed
  282663d

  Copy full SHA for 282663d

Commits on Oct 8, 2024

• trait impl lints only run on local crate

  corinnt

  committed
  cf8a1f9

  Copy full SHA for cf8a1f9