[Git][ghc/ghc] Pushed new branch wip/torsten.schmits/worker-backport-2025-07-09