Fix CI pipeline

The OS of run4 was upgraded to Debian12 so we need to update the CI runner on that machine.

added BugFix CI/CD labels

requested review from @f.uhlig

assigned to @f.uhlig

Dear @f.uhlig, @v.friese, @p.-a.loizeau,

you have been identified as code owner of at least one file which was changed with this merge request.

Please check the changes and approve them or request changes.

added CodeOwners label

approved this merge request

merged