Skip to content

nit: fix new cython-lint (0.21.0) complaints#405

Merged
oscarbenjamin merged 3 commits into
flintlib:mainfrom
oscarbenjamin:pr_lint
Jun 27, 2026
Merged

nit: fix new cython-lint (0.21.0) complaints#405
oscarbenjamin merged 3 commits into
flintlib:mainfrom
oscarbenjamin:pr_lint

Conversation

@oscarbenjamin

Copy link
Copy Markdown
Collaborator

Fix the new CI lint complaints seen in gh-392

Previously they returned list[fmpz] which was inconsistent with the
stated type annotations.
@oscarbenjamin oscarbenjamin merged commit 450706c into flintlib:main Jun 27, 2026
82 checks passed
@oscarbenjamin oscarbenjamin deleted the pr_lint branch June 27, 2026 15:05
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