Skip to content

maint: ruff, modernize#3131

Merged
dweindl merged 1 commit intoAMICI-dev:mainfrom
dweindl:reruff
Feb 25, 2026
Merged

maint: ruff, modernize#3131
dweindl merged 1 commit intoAMICI-dev:mainfrom
dweindl:reruff

Commits

Commits on Feb 24, 2026