Skip to content

Switch to using ruff#140

Merged
mdellweg merged 1 commit intopulp:mainfrom
mdellweg:ruff
Jan 7, 2026
Merged

Switch to using ruff#140
mdellweg merged 1 commit intopulp:mainfrom
mdellweg:ruff

Commits

Commits on Jan 6, 2026