Merge branch 'nixpkgs-upgrade-2025-04-14' into 'develop'
Passed
Florian Sesser
created pipeline for commit
92d72724
, finished
1 related merge request: !595 update production
10 minutes 47 seconds, queued for 2 seconds