Skip to content

[MAINT] use ruff#803

Merged
Remi-Gau merged 12 commits intomainfrom
maint/ruff
Feb 27, 2026
Merged

[MAINT] use ruff#803
Remi-Gau merged 12 commits intomainfrom
maint/ruff

Conversation

@Remi-Gau
Copy link
Contributor

@Remi-Gau Remi-Gau commented Feb 26, 2026

@Remi-Gau Remi-Gau merged commit 2b8ee34 into main Feb 27, 2026
8 of 9 checks passed
@Remi-Gau Remi-Gau deleted the maint/ruff branch February 27, 2026 01:04
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