Skip to content

CI: fix clippy lints#7620

Merged
coolreader18 merged 1 commit into
RustPython:mainfrom
ShaharNaveh:ci-fix-clippy
Apr 16, 2026
Merged

CI: fix clippy lints#7620
coolreader18 merged 1 commit into
RustPython:mainfrom
ShaharNaveh:ci-fix-clippy