Merge branch 'nixpkgs-upgrade-2025-04-14' into 'develop'
Passed
Florian Sesser
created pipeline for commit
92d72724
, finished
48 seconds, queued for 2 seconds