Skip to content

Replace collection type lints with more general lint#4912

Merged
auto-submit[bot] merged 1 commit into
mainfrom
lint_update
Sep 13, 2023
Merged

Replace collection type lints with more general lint#4912
auto-submit[bot] merged 1 commit into
mainfrom
lint_update

Replace collection type lints with more general lint

649d162
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs