Skip to content

Add linters that check for bugs #310

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Merged
merged 3 commits into from
Jul 10, 2024
Merged

Add linters that check for bugs #310

merged 3 commits into from
Jul 10, 2024

Conversation

lucacome
Copy link
Contributor

@lucacome lucacome commented Jul 3, 2024

Proposed changes

Adds linters that specifically check for bugs

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING doc
  • I have added tests that prove my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have updated necessary documentation
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch from my own fork

@lucacome lucacome self-assigned this Jul 3, 2024
@lucacome lucacome requested a review from a team as a code owner July 3, 2024 23:43
@github-actions github-actions bot added the chore Pull requests for routine tasks label Jul 3, 2024
@lucacome lucacome added this to the v1.2.2 milestone Jul 10, 2024
@lucacome lucacome enabled auto-merge (squash) July 10, 2024 21:04
@lucacome lucacome merged commit 052c7d8 into main Jul 10, 2024
12 checks passed
@lucacome lucacome deleted the chore/add-linter-bugs branch July 10, 2024 21:04
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@sjberman sjberman sjberman approved these changes

Assignees

@lucacome lucacome

Labels
chore Pull requests for routine tasks
Projects
None yet
Milestone
v1.2.2
Development

Successfully merging this pull request may close these issues.
2 participants
@lucacome @sjberman