Promote lint. settings over top-level settings#9476
Merged
MichaReiser merged 3 commits intorelease/0.2.0from Jan 29, 2024
Merged
Promote lint. settings over top-level settings#9476MichaReiser merged 3 commits intorelease/0.2.0from
lint. settings over top-level settings#9476MichaReiser merged 3 commits intorelease/0.2.0from