Skip to content

Migrate to ruff#739

Merged
dbrattli merged 4 commits into
masterfrom
use-ruff
Nov 8, 2025
Merged

Migrate to ruff#739
dbrattli merged 4 commits into
masterfrom
use-ruff

Conversation

@dbrattli

@dbrattli dbrattli commented Nov 8, 2025

Copy link
Copy Markdown
Collaborator

No description provided.

@review-notebook-app

Copy link
Copy Markdown

Check out this pull request on  ReviewNB

See visual diffs & provide feedback on Jupyter Notebooks.


Powered by ReviewNB

@coveralls

coveralls commented Nov 8, 2025

Copy link
Copy Markdown

Coverage Status

coverage: 93.459% (+0.03%) from 93.431%
when pulling 3e7642e on use-ruff
into 2b12419 on master.

@dbrattli dbrattli merged commit 8a41114 into master Nov 8, 2025
42 checks passed
@dbrattli dbrattli deleted the use-ruff branch November 8, 2025 09:45
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