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.

Sign up for GitHub

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

Jump to bottom

chore: run ruff and mypy githooks #147

Closed
akonarski-ds opened this issue Oct 24, 2024 · 0 comments · Fixed by #164
Closed

chore: run ruff and mypy githooks #147

akonarski-ds opened this issue Oct 24, 2024 · 0 comments · Fixed by #164
Labels
chore Changes to the build process or repo setup
Milestone
Ragbits 0.3

Comments

@akonarski-ds
Copy link
Collaborator

akonarski-ds commented Oct 24, 2024 •
edited
Loading

After merging #87, developers are required to manually run mypy and ruff. We would like to automate it using pre-commit or pre-push Git hooks.
@akonarski-ds akonarski-ds converted this from a draft issue Oct 24, 2024
@akonarski-ds akonarski-ds changed the title chore: run ruff and mypy as a githook chore: run ruff and mypy githooks Oct 24, 2024
@akonarski-ds akonarski-ds added the chore Changes to the build process or repo setup label Oct 24, 2024
@akonarski-ds akonarski-ds self-assigned this Oct 24, 2024
@akonarski-ds akonarski-ds moved this from Backlog to Ready in ragbits Oct 30, 2024
@akonarski-ds akonarski-ds removed their assignment Oct 30, 2024
@mhordynski mhordynski linked a pull request Oct 31, 2024 that will close this issue
chore: add pre-commit/push hooks install scripts #164
Merged
@github-project-automation github-project-automation bot moved this from Ready to Done in ragbits Oct 31, 2024
@mhordynski mhordynski added this to the Ragbits 0.3 milestone Oct 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
chore Changes to the build process or repo setup
Projects
ragbits
Status: Done
Milestone
Ragbits 0.3
Development

Successfully merging a pull request may close this issue.

chore: add pre-commit/push hooks install scripts deepsense-ai/ragbits
2 participants
@mhordynski @akonarski-ds