Merge "extra" lint target into "normal" lint target#152
Closed
Akhilesh-max wants to merge 2 commits intoveraison:mainfrom Akhilesh-max:merge-extra-lint
+150-40
Commits
Commits on Jan 9, 2025
- authored andAkhilesh Kr. YadavcommittedAkhilesh Kr. Yadav
Commits on Jan 13, 2025
- authored andAkhilesh Kr. YadavcommittedAkhilesh Kr. Yadav