Skip to content

fix: Lint and API updates for latest versions - #188

Merged
c-peters merged 1 commit into
pola-rs:mainfrom
alexander-beedie:lint-and-api-updates
Jun 16, 2026
Merged

c-peters merged 1 commit into
pola-rs:mainfrom
alexander-beedie:lint-and-api-updates

Conversation

@alexander-beedie

@alexander-beedie alexander-beedie commented Jun 9, 2026

Copy link
Copy Markdown
Contributor

This fixes the lint errors with the latest API.

(As surfaced by the previous three PRs: #185, #186, #187).

@c-peters
c-peters merged commit 1af9ffd into pola-rs:main Jun 16, 2026
3 checks passed
@alexander-beedie
alexander-beedie deleted the lint-and-api-updates branch June 16, 2026 13: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.

2 participants