Skip to content

[TASK] make ci happy again#672

Merged
achimfritz merged 1 commit intomasterfrom
task/ci
Jan 19, 2026
Merged

[TASK] make ci happy again#672
achimfritz merged 1 commit intomasterfrom
task/ci

Commits

Commits on Jan 16, 2026