Merge "extra" lint target into "normal" lint target#153

Open

Akhilesh-max wants to merge 1 commit intoveraison:mainfrom Akhilesh-max:remove-extra-lint

+147-133

Commits on Jan 15, 2025

chore(make): merge extra-lint target into lint

Akhilesh Kr. Yadav
authored and
Akhilesh Kr. Yadav
committed