Fix CI pipeline

The current pipeline fails. See for example Job #13793 failed for 78f65b55

changed the description

assigned to @frank

added bug CI/tests labels

created branch 4-fix-ci-pipeline

mentioned in merge request !1 (merged)

closed via merge request !1 (merged)