Skip to content

few more tweaks for lint tools detection, add to statistics - #2809

Merged
Simek merged 2 commits into
mainfrom
lint-tools-detection-tweaks
Sep 14, 2026
Merged

Simek merged 2 commits into
mainfrom
lint-tools-detection-tweaks

Conversation

@Simek

@Simek Simek commented Sep 14, 2026

Copy link
Copy Markdown
Member

📝 Why & how

Few more tweaks for lint tools detection logic, add lint tools counts to the statistics output.

✅ Checklist

  • Explained how you fixed the issue or built the feature.

@Simek
Simek merged commit 67d6e01 into main Sep 14, 2026
2 checks passed
@Simek
Simek deleted the lint-tools-detection-tweaks branch September 14, 2026 12:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant