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

chore(python): minor updates to lint-related dependencies #12073

Merged
merged 2 commits into from
Oct 27, 2023

Conversation

alexander-beedie
Copy link
Collaborator

@alexander-beedie alexander-beedie commented Oct 27, 2023

Was starting to integrate these further into our codebase at work, so spotted the new releases...
Only a single line of code changed.

All minor point updates:

  • ruff: 0.1.2 → 0.1.3
  • mypy: 1.60 → 1.61
  • typos: 1.16.20 → 1.16.21

@stinodego: Looks like the ruff update includes a fix for something
that I think you spotted earlier? (unexpected spacing around **) 😄

@github-actions github-actions bot added internal An internal refactor or improvement python Related to Python Polars labels Oct 27, 2023
@stinodego
Copy link
Contributor

Looks like the ruff update includes a fix for something that I think you spotted earlier? (unexpected spacing around **) 😄

Yeah they picked that up really quick! :)

@stinodego stinodego merged commit 41a8f67 into pola-rs:main Oct 27, 2023
11 checks passed
@alexander-beedie alexander-beedie deleted the update-lint-packages branch October 27, 2023 23:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
internal An internal refactor or improvement python Related to Python Polars
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants