fix flake #4

Merged
mara merged 1 commit from fix-flake into main 2025-05-10 10:33:21 +02:00