Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve Linter #418

Merged
merged 1 commit into from
Apr 13, 2024
Merged

Improve Linter #418

merged 1 commit into from
Apr 13, 2024

Conversation

xx4h
Copy link
Collaborator

@xx4h xx4h commented Apr 13, 2024

  • linter for pr, which only lints new and edited files
  • linter for whole code base, representing the current linting state of the project

@xx4h xx4h force-pushed the improve-linter branch 4 times, most recently from 285b1cd to c71e5f0 Compare April 13, 2024 19:25
create two separate linters, one for PRs, only checking
the added and changed files in the PR, and one for checking
the whole code base in the project.
@xx4h xx4h merged commit 9e5467d into main Apr 13, 2024
5 checks passed
@xx4h xx4h deleted the improve-linter branch April 13, 2024 19:54
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